joshua/monoid-learner
1
Fork 0
mirror of https://github.com/Jaxan/monoid-learner.git synced 2025-04-26 22:47:45 +02:00
Code Issues Releases Activity
monoid-learner/app
History
Exact
Joshua Moerman 14b6d8ce5a Automatic counterexample handling
2021-07-29 14:54:52 +02:00
..
Main.hs Automatic counterexample handling 2021-07-29 14:54:52 +02:00