ilhikki / hott-book-zh
《The HoTT Book》 中文翻译
☆6Updated 2 months ago
Alternatives and similar repositories for hott-book-zh:
Users that are interested in hott-book-zh are comparing it to the libraries listed below
- Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos☆56Updated this week
- A formalization of the textbook Elements of Set Theory☆59Updated 3 years ago
- My mathematical Zettelkasten, created using forester.☆80Updated this week
- ShiTT is a toy proof assistant. (This project will be rewritten soon)☆33Updated 4 months ago
- ☆22Updated last year
- 🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟☆20Updated 2 years ago
- Distributions of Agda executable compiled into WebAssembly.☆16Updated last week
- Coq集合论中文教程☆44Updated 3 years ago
- Lecture notes on realizability☆71Updated 2 weeks ago
- A static analysis tool for Lean 4.☆65Updated this week
- Helper toolkit for creating your own Lean 4 UserWidgets☆127Updated last week
- Normalization by evaluation of simply typed combinators.☆26Updated 3 years ago
- Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)…☆44Updated last year
- LaTeX code for a paper on lean's type theory☆131Updated 2 years ago
- ☆238Updated last week
- Natural language tactics to teach mathematics using Lean 4☆65Updated this week
- Learn Lean 4 with PLFA proofs.☆55Updated 10 months ago
- Markdown file of the list and explanations of all mathlib4 tactics☆37Updated last year
- A transpiler that converts TeX into Unicode (as possible).☆19Updated 3 months ago
- ☆24Updated 9 months ago
- ☆13Updated 6 months ago
- agda-mode on VS Code☆173Updated this week
- A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.☆75Updated last week
- VSCode extension for bTeX.☆20Updated last year
- Categorical Logic Notes☆75Updated 3 years ago
- ☆65Updated this week
- A WIP definitional (co)datatype package for Lean4☆35Updated 2 months ago
- Programming Language Foundations in Lean☆26Updated 2 months ago
- Benchmarking various normalization algorithms for the lambda calculus☆44Updated 2 years ago