Skip to content
GitLab
Explore
Sign in
Iris
Diaframe
Repository
diaframe
theories
examples
external
reloc
paper_example.v
Find file
Blame
History
Permalink
Can reason directly with atomic triples, but is horrible.
· e2ec7dcb
Ike Mulder
authored
Jun 08, 2022
e2ec7dcb