3 Commits

Author	SHA1	Message	Date
Mysaa	66490abfb8	Continued report ....	2023-08-16 13:24:55 +02:00
Mysaa	a10bcd6770	Added completeness for ZOL, and a more efficient way of putting agda in the LaTeX file	2023-08-04 16:12:18 +02:00
Mysaa	9be53b4f7f	Tried to add a completeness proof for zol	2023-08-03 20:43:31 +02:00