Coq集合论中文教程
☆46Dec 17, 2021Updated 4 years ago
Alternatives and similar repositories for Baby-Set-Theory
Users that are interested in Baby-Set-Theory are comparing it to the libraries listed below
Sorting:
- Coq集合模型论☆11Aug 18, 2022Updated 3 years ago
- A Coq formalization of the textbook Categories and Toposes: Visualized and Explained☆21Sep 21, 2022Updated 3 years ago
- A formalization of the textbook Elements of Set Theory☆61Sep 30, 2021Updated 4 years ago
- Lean 形式化数学☆17Dec 20, 2025Updated 2 months ago
- A collection of PLT researching☆29Feb 21, 2025Updated last year
- Data Types a la carte from PureScript -> JavaScript☆13Apr 19, 2017Updated 8 years ago
- History of type theory (Chinese).☆359May 25, 2025Updated 9 months ago
- Learn Lean 4 with PLFA proofs.☆106Apr 8, 2025Updated 10 months ago
- Program Specification in Lean 4☆22Jan 15, 2024Updated 2 years ago
- Practical Foundations for Programming Languages 2nd. R.Harper. Chinese Translation.☆14Jul 6, 2018Updated 7 years ago
- Elaboration with inductive types☆16Jun 1, 2023Updated 2 years ago
- ☆16Jul 24, 2024Updated last year
- ☆38May 31, 2023Updated 2 years ago
- ☆17Jul 26, 2020Updated 5 years ago
- ☆23Feb 5, 2024Updated 2 years ago
- Parser Combinator ver. Rust☆15Jun 16, 2020Updated 5 years ago
- 🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟☆19Jun 25, 2022Updated 3 years ago
- 首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, L…☆19Nov 21, 2018Updated 7 years ago
- ntype cafe summer school resources☆146Jun 16, 2024Updated last year
- My slides and notes☆140May 31, 2023Updated 2 years ago
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Oct 16, 2015Updated 10 years ago
- Type Checking in Lean 4☆34Updated this week
- ☆30Mar 4, 2024Updated 2 years ago
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆61Nov 26, 2025Updated 3 months ago
- Modeling and Proving in Computational Type Theory☆120Aug 6, 2025Updated 7 months ago
- Zombie chan revive!☆27Feb 27, 2024Updated 2 years ago
- A quick reference for mapping Coq tactics to Lean tactics☆71Apr 23, 2021Updated 4 years ago
- Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for…☆116Apr 2, 2025Updated 11 months ago
- Hosts the website for mathlib and other Lean community infrastructure.☆74Updated this week
- An I/O-efficient implementation of (Binary) Decision Diagrams☆33Feb 27, 2026Updated last week
- ☆56Feb 20, 2026Updated 2 weeks ago
- A group of students who are interested in Compilers, and they want to improve themselves together.☆25Aug 23, 2022Updated 3 years ago
- Free ChatGPT API Key，免费ChatGPT API，支持GPT4 API，ChatGPT国内可用免费转发API，直连无需代理。☆13Aug 28, 2024Updated last year
- Cmark.mbt is a CommonMark toolkit for MoonBit.☆33Feb 28, 2026Updated last week
- A library of mechanised undecidability proofs in the Coq proof assistant.☆131Jan 2, 2026Updated 2 months ago
- ☆29May 22, 2015Updated 10 years ago
- 十分钟魔法练习 in OCaml☆37Mar 31, 2022Updated 3 years ago
- Code samples for Lean 4☆76Oct 19, 2023Updated 2 years ago
- A blog about Coq☆46Apr 12, 2022Updated 3 years ago