anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2025-01-07 08:08:44 +03:00
Code Issues Projects Releases Wiki Activity
e87eed038e
juvix/agda-proofs
History
Jan Mas Rovira e87eed038e [proofs] prove that the foetus98 size relation and its operations form a semiring
2022-02-25 12:32:21 +01:00
..
proofs [proofs] prove that the foetus98 size relation and its operations form a semiring 2022-02-25 12:32:21 +01:00
minijuvix-proofs.agda-lib [proofs] prove that the foetus98 size relation and its operations form a semiring 2022-02-25 12:32:21 +01:00