Skip to content

Add some miscellaneous reasoning combinators#251

Merged
JacquesCarette merged 1 commit intoagda:masterfrom
TOTBWF:misc-reasoning
Feb 23, 2021
Merged

Add some miscellaneous reasoning combinators#251
JacquesCarette merged 1 commit intoagda:masterfrom
TOTBWF:misc-reasoning

Commits

Commits on Feb 23, 2021