choukh / Baby-Set-TheoryView external linksLinks
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 formalization of the textbook Elements of Set Theory☆60Sep 30, 2021Updated 4 years ago
- Lean 形式化数学☆17Dec 20, 2025Updated last month
- ☆30Sep 8, 2023Updated 2 years ago
- A collection of PLT researching☆29Feb 21, 2025Updated 11 months ago
- Data Types a la carte from PureScript -> JavaScript☆13Apr 19, 2017Updated 8 years ago
- Denotational Semantics of the Untyped Lambda Calculus☆17Feb 5, 2025Updated last year
- Elaboration with inductive types☆16Jun 1, 2023Updated 2 years ago
- Practical Foundations for Programming Languages 2nd. R.Harper. Chinese Translation.☆14Jul 6, 2018Updated 7 years ago
- ☆38May 31, 2023Updated 2 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 3 years ago
- ☆17Jul 26, 2020Updated 5 years ago
- ☆23Feb 5, 2024Updated 2 years ago
- Parser Combinator ver. Rust☆15Jun 16, 2020Updated 5 years ago
- 📚 - Resources for Machine Learning and Haskell☆21Nov 14, 2017Updated 8 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
- A Tiny, Friendly Companion to LLVM☆46Jan 12, 2026Updated last month
- ☆30Mar 4, 2024Updated last year
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Oct 16, 2015Updated 10 years ago
- Visual Studio Code extension for Coq☆432Dec 10, 2025Updated 2 months ago
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆61Nov 26, 2025Updated 2 months ago
- An implementation of lambda calculus.☆26Aug 23, 2025Updated 5 months ago
- Modeling and Proving in Computational Type Theory☆120Aug 6, 2025Updated 6 months ago
- A quick reference for mapping Coq tactics to Lean tactics☆71Apr 23, 2021Updated 4 years 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 2, 2026Updated last week
- A library of mechanised undecidability proofs in the Coq proof assistant.☆131Jan 2, 2026Updated last month
- 十分钟魔法练习 in OCaml☆36Mar 31, 2022Updated 3 years ago
- ☆29May 22, 2015Updated 10 years ago
- Code samples for Lean 4☆76Oct 19, 2023Updated 2 years ago
- 方舟编译入门技术课程的配套代码☆30Sep 16, 2020Updated 5 years ago
- Just for fun riscv64 emulator, which boots the Linux.☆41Dec 14, 2022Updated 3 years ago
- ☆78Jan 17, 2026Updated 3 weeks ago
- Lecture notes on univalent foundations of mathematics with Agda☆232Dec 30, 2025Updated last month
- ☆51Dec 14, 2022Updated 3 years ago
- A Cython library to solve the Bittensor registration POW on CUDA☆15Aug 15, 2025Updated 5 months ago