Skip to content
Snippets Groups Projects
Unverified Commit e273ca63 authored by Max Ole Elliger's avatar Max Ole Elliger :penguin:
Browse files

Initialized repository 

- repo based on comoproj-v2.6.1
- stated syntax of prop. logic
- stated deduction rules
- stated soundness
- added one example
- added readme
parent 7ab703cb
Checking pipeline status
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment