Skip to content
GitLab
Explore
Sign in
Register
Marc de Falco
dedunat
Repository
dedunat
README.md
Find file
Blame
History
Permalink
Pretty printing of proof in french
· 075c1b5f
Marc de Falco
authored
Jan 13, 2023
075c1b5f