我上了俞珺华老师 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☆19Jul 16, 2021Updated 4 years ago
- ICRA: a static analyzer based on interprocedural compositional recurrence analysis☆11Feb 27, 2020Updated 6 years ago
- Clibrary-中文图书馆项目,于2022年9月建立.☆12Aug 10, 2025Updated 7 months ago
- descartes: the cartesian hoare logic prover☆12Feb 23, 2017Updated 9 years ago
- JaVerT2.0 - Compositional Symbolic Execution for JavaScript☆20Apr 22, 2020Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- SWORD: A Whole Program Race Detector for Java☆13Jan 30, 2021Updated 5 years ago
- Static program slicer used in Symbiotic tool☆12Mar 31, 2025Updated 11 months ago
- Hi-Link HLK-RM04☆13Dec 28, 2013Updated 12 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
- 『运筹OR帷幄』☆24Oct 6, 2022Updated 3 years ago
- Yet another Bittorrent filesystem based on FUSE☆18May 31, 2017Updated 8 years ago
- Dev for Huawei Lite Wearable (仅为运动手表开发)☆13Sep 17, 2020Updated 5 years ago
- Type qualifiers for C☆16Sep 21, 2011Updated 14 years ago
- Relaxed Rust (for cats)☆14Nov 20, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- A project to assess the costs of flexible vehicle routing strategies☆20Apr 24, 2023Updated 2 years ago
- Lean 4 as a scripting language in Houdini☆21Mar 13, 2024Updated 2 years ago
- UNIX二十五年☆16Jun 29, 2018Updated 7 years ago
- A Large-Scale Automated Program Repair Benchmark of Real-World LLVM Middle-End Bugs☆22Mar 20, 2026Updated last week
- Framework of pa code for THU compiler principle course.☆13Dec 18, 2019Updated 6 years ago
- A LaTeX math notes template with pre-defined tcolorboxes for theorems☆27Mar 23, 2025Updated last year
- ☆25Dec 13, 2016Updated 9 years ago
- ☆24Dec 8, 2016Updated 9 years ago
- Lens combinators for fused-effects.☆17Oct 19, 2020Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Python3 implementation of the Similarity Flooding algorithm (S. Melnik, H. Garcia-Molina, E. Rahm "Similarity Flooding: A Versatile Graph…☆12Jun 30, 2020Updated 5 years ago
- oleg modules☆32Feb 20, 2013Updated 13 years ago
- Notes in LaTeX for learning Mathematics, both self-taught and from school.☆25Nov 1, 2018Updated 7 years ago
- An outdated miniKanren implementation with a not-pairo constraint☆30Nov 28, 2013Updated 12 years ago
- A small plugin to add TTS support for Calibre's ebook viewer.☆31May 17, 2021Updated 4 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆11Dec 7, 2012Updated 13 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 4 years ago
- Clojure template engine for generating HTML-based markup☆21Aug 24, 2015Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Material Motion 的在线翻译版本☆13May 17, 2016Updated 9 years ago
- Python notes☆10Aug 13, 2022Updated 3 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- 开源、免费的离线OCR软件。支持截屏/批量导入图片，PDF文档识别，排除水印/页眉页脚，扫描/生成二维码。内置多国语言库。☆25Apr 4, 2024Updated last year
- ☆23Sep 22, 2021Updated 4 years ago
- Embedding a Prolog-like logic programming language in JavasScript and TypeScript.☆17Jul 11, 2023Updated 2 years ago
- LLM powered drawio live editor☆58Dec 10, 2025Updated 3 months ago