max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/src/Std/Do
History
Sebastian Graf 77442f5486
chore: revert DefEq changes until it has passed proper review (#9254)
2025-07-08 14:54:18 +00:00
..
SPred feat: Make Std.Do universe polymorphic (#9194) 2025-07-07 13:11:41 +00:00
Triple chore: revert DefEq changes until it has passed proper review (#9254) 2025-07-08 14:54:18 +00:00
WP feat: Make Std.Do universe polymorphic (#9194) 2025-07-07 13:11:41 +00:00
PostCond.lean chore: revert DefEq changes until it has passed proper review (#9254) 2025-07-08 14:54:18 +00:00
PredTrans.lean feat: Make Std.Do universe polymorphic (#9194) 2025-07-07 13:11:41 +00:00
SPred.lean feat: Upstream MPL.SPred.* from mpl (#8928) 2025-06-26 11:15:11 +00:00
Triple.lean feat: Hoare logic for monadic programs and verification condition generation (#8995) 2025-06-26 15:49:56 +00:00
WP.lean feat: Hoare logic for monadic programs and verification condition generation (#8995) 2025-06-26 15:49:56 +00:00