Skip to content
Snippets Groups Projects
Select Git revision
  • main default
1 result
Compare
user avatar
updating the presentation of proofs and theories.
SimonGuilloud authored
be0bb767
History
user avatar be0bb767
History
Name Last commit Last update