Skip to content

Releases: hephaestus-pl/coqffj

Everything nicely defined and proved

05 May 03:09
Compare
Choose a tag to compare

Only thing left is mtype_r_dec. To prove this we need to turn that relation into a function.
And for that we need a good measure for the find function.