Pages that link to "Lean theorem prover/System/Metaprogramming in Lean"

The following pages link to Lean theorem prover/System/Metaprogramming in Lean:

Displaying 11 items.

• Lean theorem prover (← links)
• Lean theorem prover/Explainers/Tactics (← links)
• Lean theorem prover/System/The tactic framework (← links)
• Lean theorem prover/System/Syntax extension and hygienic macros (← links)
• Lean theorem prover/System/Proof export and independent checkers (← links)
• Lean theorem prover/System/Monads and do-notation (← links)
• Lean theorem prover/History/Lean 1 to Lean 3 (← links)
• Lean theorem prover/History/Lean 4 (← links)
• Lean theorem prover/Glossary (← links)
• Lean theorem prover/Bibliography (← links)
• Lean theorem prover/Further reading (← links)