Tutorial for refinement based verification
β15Jan 16, 2026Updated last month
Alternatives and similar repositories for refinement-tutorial
Users that are interested in refinement-tutorial are comparing it to the libraries listed below
Sorting:
- β10Nov 20, 2023Updated 2 years ago
- π A Rocq library written by members of PnV Discord Serverβ19Feb 17, 2026Updated last week
- β14Feb 26, 2024Updated 2 years ago
- π (WIP) Rewriting Software Foundations in Lean 4β28Oct 24, 2025Updated 4 months ago
- β15Aug 3, 2025Updated 6 months ago
- bidirectional type checking algorithms for higher-ranked polymorphismβ19Mar 23, 2022Updated 3 years ago
- μ»΄ν¨ν° μ κΈ°μ νΉκ°β10Jun 23, 2023Updated 2 years ago
- νμ€μΌ λͺ¨μ μΉμ¬μ΄νΈ μμ€ μ½λβ16Dec 8, 2021Updated 4 years ago
- Programming Principles, SNU 4190.210, 2024 Fallβ22Dec 26, 2024Updated last year
- Building A Correct-By-Construction Proof Checkers For Type Theoriesβ31Jan 15, 2026Updated last month
- A Coq library for parametric coinductionβ51Jan 30, 2025Updated last year
- Programming Principles, SNU 4190.210, 2023 Fallβ21Dec 6, 2023Updated 2 years ago
- π Solutions of "An Infinitely Large Napkin"β38Feb 22, 2026Updated last week
- Formalization of the polymorphic lambda calculus and its parametricity theoremβ37Mar 17, 2025Updated 11 months ago
- The Coq development of A Promising Semantics for Relaxed-Memory Concurrencyβ43Oct 15, 2024Updated last year
- β36Nov 7, 2025Updated 3 months ago
- My code snippetsβ38Sep 30, 2025Updated 5 months ago
- A Library for Representing Recursive and Impure Programs in Coqβ244Jan 22, 2026Updated last month
- β23Apr 1, 2021Updated 4 years ago
- Merge sort correctness proofβ11May 21, 2015Updated 10 years ago
- SipHash function for PHPβ16Feb 2, 2021Updated 5 years ago
- AgentBar is a macOS menu bar app that tracks AI coding assistant usage in one place.β31Feb 22, 2026Updated last week
- A bot for automatically completing the KAIST safety courseβ10Aug 29, 2023Updated 2 years ago
- Command-like expressions for real infinite-precision calculationsβ55Aug 5, 2025Updated 6 months ago
- IRCCloud Python Clientβ11Oct 26, 2015Updated 10 years ago
- π Better Naver blog browsingβ10Jan 8, 2026Updated last month
- Rust implementation of NeRF: Representing Scenes as Neural Radiance Fields for View Synthesis and its extension to follow-up research proβ¦β11May 12, 2023Updated 2 years ago
- Library for literal 128-bit integers in C++β11Nov 18, 2025Updated 3 months ago
- Experimenting with number-to-string and string-to-number conversions in Rustβ14May 23, 2015Updated 10 years ago
- β10Jan 6, 2021Updated 5 years ago
- user-editable, acronym-only dictionaryβ24Jan 7, 2017Updated 9 years ago
- β12Jun 21, 2023Updated 2 years ago
- Nald'thal the Traders.β11Nov 4, 2018Updated 7 years ago
- DNS over HTTPS with aiohttpβ12Sep 12, 2020Updated 5 years ago
- A WebSocket client implementationβ11Jul 29, 2021Updated 4 years ago
- ο»Ώβ12Feb 4, 2024Updated 2 years ago
- LZMA handling library.β11May 2, 2017Updated 8 years ago
- A Font with extensive coverage of Unicode13 as of March 2020 (part of Unicode Fonts for Ancient Scripts)β15Mar 26, 2020Updated 5 years ago
- Strong (duck) typing for Rubyβ26Nov 20, 2014Updated 11 years ago