Skip to content
GitLab
Explore
Sign in
Iris
Coq Tricks
Repository
coq-tricks
theories
simpl.v
Find file
Blame
History
Permalink
add simpl.v
· ee88f0b6
Michael Sammler
authored
Nov 22, 2021
ee88f0b6