The following pages link to A proof dedicated meta-language (Q2844812):
Displaying 5 items.
- Metamath Zero: designing a theorem prover prover (Q2219381) (← links)
- Automatically proving equivalence by type-safe reflection (Q2364699) (← links)
- Crystal: Integrating structured queries into a tactic language (Q2655333) (← links)
- (Q2721104) (← links)
- A metalanguage for guarded iteration (Q5918344) (← links)