我上了俞珺华老师 2017 年春季的证明论课，记了些笔记，慢慢电子化。有部分内容是我自己的补充。若有错误很可能是我理解或记录错误。| My notes for Proof Theory course 2017 spring, instructed by Junhua Yu, THU. Parts of contents are my own supplement. The mistakes, if any, very likely belong to me.
☆11Oct 30, 2018Updated 7 years ago
Alternatives and similar repositories for Proof-Theory-Notes-zh_CN
Users that are interested in Proof-Theory-Notes-zh_CN are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Automatic regression verification for LLVM programs☆21Jul 16, 2021Updated 5 years ago
- ICRA: a static analyzer based on interprocedural compositional recurrence analysis☆11Feb 27, 2020Updated 6 years ago
- Clibrary-中文图书馆项目,于2022年9月建立.☆13Aug 10, 2025Updated last year
- descartes: the cartesian hoare logic prover☆12Feb 23, 2017Updated 9 years ago
- SWORD: A Whole Program Race Detector for Java☆13Jan 30, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- JaVerT2.0 - Compositional Symbolic Execution for JavaScript☆20Apr 22, 2020Updated 6 years ago
- ☆16Updated this week
- Static program slicer used in Symbiotic tool☆12Mar 31, 2025Updated last year
- Hi-Link HLK-RM04☆13Dec 28, 2013Updated 12 years ago
- Yet another Bittorrent filesystem based on FUSE☆18May 31, 2017Updated 9 years ago
- Automated Reasoning Infrastructure & Applications☆15Aug 22, 2026Updated 2 weeks ago
- Dev for Huawei Lite Wearable (仅为运动手表开发)☆13Sep 17, 2020Updated 5 years ago
- 『运筹OR帷幄』☆24Oct 6, 2022Updated 3 years ago
- Type qualifiers for C☆16Sep 21, 2011Updated 14 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- 首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, L…☆19Nov 21, 2018Updated 7 years ago
- A project to assess the costs of flexible vehicle routing strategies☆20Apr 24, 2023Updated 3 years ago
- Relaxed Rust (for cats)☆14Nov 20, 2019Updated 6 years ago
- UNIX二十五年☆16Jun 29, 2018Updated 8 years ago
- A Large-Scale Automated Program Repair Benchmark of Real-World LLVM Middle-End Bugs☆22Mar 20, 2026Updated 5 months ago
- Lean 4 as a scripting language in Houdini☆25Mar 13, 2024Updated 2 years ago
- Framework of pa code for THU compiler principle course.☆13Dec 18, 2019Updated 6 years ago
- ☆25Dec 13, 2016Updated 9 years ago
- ☆24Dec 8, 2016Updated 9 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Python notes☆10Aug 13, 2022Updated 4 years ago
- Notes in LaTeX for learning Mathematics, both self-taught and from school.☆26Nov 1, 2018Updated 7 years ago
- Python3 implementation of the Similarity Flooding algorithm (S. Melnik, H. Garcia-Molina, E. Rahm "Similarity Flooding: A Versatile Graph…☆12Jun 30, 2020Updated 6 years ago
- oleg modules☆32Feb 20, 2013Updated 13 years ago
- A LaTeX math notes template with pre-defined tcolorboxes for theorems☆33Mar 23, 2025Updated last year
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆11Dec 7, 2012Updated 13 years ago
- A small plugin to add TTS support for Calibre's ebook viewer.☆31May 17, 2021Updated 5 years ago
- Warning: 🕳 ahead!☆16Jan 8, 2020Updated 6 years ago
- A formally verified Raft specification in SPIN, as course project of Software Formal Verification, 2020 Autumn, Tsinghua University☆17May 11, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Material Motion 的在线翻译版本☆13May 17, 2016Updated 10 years ago
- ☆10Apr 25, 2017Updated 9 years ago
- 开源、免费的离线OCR软件。支持截屏/批量导入图片，PDF文档识别，排除水印/页眉页脚，扫描/生成二维码。内置多国语言库。☆23Apr 4, 2024Updated 2 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- uCore MIPS32 porting☆18Dec 16, 2019Updated 6 years ago
- Embedding a Prolog-like logic programming language in JavasScript and TypeScript.☆17Jul 11, 2023Updated 3 years ago
- A markdown tools which can convert markdown file to both HTML and PDF.☆11Apr 13, 2015Updated 11 years ago