Skip to content
Snippets Groups Projects
Commit 3ae1c204 authored by SimonGuilloud's avatar SimonGuilloud
Browse files

FUlly reorganised theory files. All seems functionning. Theory files now all... 

FUlly reorganised theory files. All seems functionning. Theory files now all simply have to extend proven.Main, and get every import and tool.
Documentation for recent development.
Adaptation of existing Set Theory proofs to the new canonical style.
parent cba2100a
No related branches found
No related tags found
No related merge requests found
Expand all Hide whitespace changes
Inline Side-by-side
Showing
with 1148 additions and 1044 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment