Skip to content
GitLab
Explore
Sign in
Maxime Lesourd
rt-proofs
Repository
rt-proofs
restructuring
fichiers modifiés
Find file
Blame
History
Permalink
moved overused lemmas in a separated file and proved some equivalences
· dfb60a45
jonathan julou
authored
Aug 12, 2019
dfb60a45