An error occurred while fetching folder content.
A
A Proof Assistant inside Coq
Max Ole Elliger
authored
- repo based on comoproj-v2.6.1 - stated syntax of prop. logic - stated deduction rules - stated soundness - added one example - added readme
| Name | Last commit | Last update |
|---|