Skip to content

Commit 8420422

Browse files
YaZkoYaZko
committed
Finished proof rules. Not the worst state, but some thought should sitll be put in automation and notations
1 parent 2816789 commit 8420422

2 files changed

Lines changed: 300 additions & 127 deletions

File tree

0 commit comments

Comments
 (0)