Sebastian Graf 7a9d769444 chore: fix the docstring of PredTrans.conjunctive (#10691)		2025-10-07 08:56:13 +00:00
..
SPred	chore: split Std.Do.SPred.Notation in preparation for meta semantics restrictions (#10358)	2025-09-12 11:09:26 +00:00
Triple	feat: add lemmas about iterator fold and map interactions (#10653)	2025-10-06 16:12:13 +00:00
WP	feat: LawfulMonad and WPMonad instances for Option and OptionT (#9932)	2025-10-01 16:16:07 +00:00
PostCond.lean	feat: implement Std.Do.Triple.mp (#9931)	2025-08-15 17:44:15 +00:00
PredTrans.lean	chore: fix the docstring of PredTrans.conjunctive (#10691)	2025-10-07 08:56:13 +00:00
SPred.lean	chore: remove public section from end of files (#10684)	2025-10-06 13:30:48 +00:00
Triple.lean	chore: remove public section from end of files (#10684)	2025-10-06 13:30:48 +00:00
WP.lean	chore: remove public section from end of files (#10684)	2025-10-06 13:30:48 +00:00