5 Commits

Author	SHA1	Message	Date
Aaron Kaiser	782ed8028f	Some grammatical changes to ROM, AGM and GGM	2023-05-16 16:19:52 +02:00
Aaron Kaiser	dd76d800fc	Added citation in definition 3.1	2023-05-15 09:24:51 +02:00
Aaron Kaiser	56f6c785bb	Add Dlog' ggm proof	2023-05-09 10:01:01 +02:00
Aaron Kaiser	8a7b0d4d75	Added Proofs for lax parsing	2023-05-02 17:36:07 +02:00
Aaron Kaiser	419018dec3	More more more	2023-05-01 17:38:55 +02:00