DanilaFe/formal-interview
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
6 Commits 2 Branches 0 Tags 54 KiB
next
Commit Graph

1 Commits

Author SHA1 Message Date
Danila Fedorin
ab56a8414f Add proof of equivalence of the two languages 2024-09-24 18:45:46 -07:00