Geeks
natural-deducation
There are 1 repositories under natural-deducation topic.
Realiserad/
beviskoll
Validation of proof in natural deduction.
Language:
Prolog
3
0