Tag Archives: simp
Equality part 2: syntactic equality
Syntactic equality is yet another kind of equality. I am beginning to learn why it matters. Continue reading
-
Recent Posts
- Lean 2022 round-up January 8, 2023
- Beyond the Liquid Tensor Experiment September 12, 2022
- The Future of Interactive Theorem Proving? August 16, 2022
- Teaching formalisation to mathematics undergraduates July 29, 2022
- 2022 Xena Project undergraduate workshop May 23, 2022
Xena 