This website requires JavaScript.
Explore
Help
Sign In
DanilaFe
/
formal-interview
Watch
1
Star
0
Fork
0
You've already forked formal-interview
Code
Issues
Pull Requests
Actions
Packages
Projects
Releases
Wiki
Activity
Files
next
Add File
New File
Upload File
Apply Patch
formal-interview
/
Language
History
Danila Fedorin
ab56a8414f
Add proof of equivalence of the two languages
2024-09-24 18:45:46 -07:00
..
Equivalence.agda
Add proof of equivalence of the two languages
2024-09-24 18:45:46 -07:00
Flat.agda
Add a formalization of the nested-loop language
2024-09-23 00:28:57 -07:00
Nested.agda
Add a formalization of the nested-loop language
2024-09-23 00:28:57 -07:00
Values.agda
Extract values into a separate module
2024-09-22 22:02:01 -07:00
