Skip to content
Snippets Groups Projects
Unverified Commit 119babf4 authored by SimonGuilloud's avatar SimonGuilloud Committed by GitHub
Browse files

Front integration (#52) 

* Large update to the user manual
* Merge development in Peano Arithmetic
parent c082c167
Branches
Tags
3 merge requests!62Easy tactics,!58Easy tactics,!55Front integration and various changes
Expand all Hide whitespace changes
Inline Side-by-side
Showing
with 185 additions and 399 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment