hazelgrove/hazelnut-dynamics-agda
mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
AgdaMIT
Issues
- 4
- 0
- 0
prove progress
#3 opened - 0
prove preservation
#2 opened - 0
mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
AgdaMIT