Post #2706015
2026-03-10 21:22 UTC
Before This Exercise you MUST write pure CIC theorem prover named Frank in Miranda-like syntax:
https://frank.groupoid.space
Replies (1)
-
@5ht@mathstodon.xyz 2026-03-10 21:23
And before that exercise you should write Henk pure CoC type checker: https://henk.groupoid.space