5 Commits

Author	SHA1	Message	Date
Mysaa	1dc1826f49	Changes files names, updated Readme	2023-07-20 11:55:25 +02:00
Mysaa	d3cf3cd0e6	Fixed module names as file names had changed.	2023-06-02 17:45:13 +02:00
Mysaa	b11c60fc3d	Removed older proofs in order to avoid having to rewrite them every time	2023-06-01 12:30:28 +02:00
Mysaa	28b7faac05	Added a generalized version of the Normalization proof	2023-05-31 13:59:33 +02:00
Mysaa	8d1df370ca	Tidied files up, changed messy prop.agda into a beautiful Readme.agda	2023-05-25 20:33:23 +02:00