]> Git — Sourcephile - haskell/logic.git/summary
sourcephile / git / haskell / logic.git / summary
? search:
summary | shortlog | log | commit | commitdiff | tree

 
descriptionHaskell library to formulate and prove logical propositions
last changeMon, 24 Jun 2024 10:16:49 +0000 (12:16 +0200)
URLgit://git.sourcephile.fr/haskell/logic.git
git@git.sourcephile.fr:/haskell/logic.git
shortlog
2024-06-24 Julien Moutinhoinit main commit | commitdiff | tree | snapshot
heads
3 months ago main shortlog | log | tree
Haskell library to formulate and prove logical propositions