dongjaelee1/refinement-tutorial external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

dongjaelee1/refinement-tutorial

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/dongjaelee1/refinement-tutorial)

Close

dongjaelee1 / refinement-tutorialView on GitHubMore

• External links
• Readme badge

Tutorial for refinement based verification

☆16Jan 16, 2026Updated 4 months ago

Alternatives and similar repositories for refinement-tutorial

Users that are interested in refinement-tutorial are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• damhiya / Coq-tips

  View on GitHub
  ☆10Nov 20, 2023Updated 2 years ago
• PnVDiscord / software-foundations-lean

  View on GitHub
  📚 (WIP) Rewriting Software Foundations in Lean 4
  ☆31Oct 24, 2025Updated 7 months ago
• PnVDiscord / PnVRocqLib

  View on GitHub
  📝 A Rocq library written by members of PnV Discord Server
  ☆18Updated this week
• damhiya / MetaLambda

  View on GitHub
  ☆14Feb 26, 2024Updated 2 years ago
• snu-sf-class / sf202301

  View on GitHub
  컴퓨터 신기술 특강
  ☆10Jun 23, 2023Updated 2 years ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• snu-sf / Ordinal

  View on GitHub
  ☆16Aug 3, 2025Updated 10 months ago
• HancomAC / hana

  View on GitHub
  Modern Online Judge powered by Docker & Node
  ☆10Jan 25, 2022Updated 4 years ago
• snu-sf-class / pp202302

  View on GitHub
  Programming Principles, SNU 4190.210, 2023 Fall
  ☆22Dec 6, 2023Updated 2 years ago
• snu-sf-class / pp202402

  View on GitHub
  Programming Principles, SNU 4190.210, 2024 Fall
  ☆22Dec 26, 2024Updated last year
• kwanghoon / bidi

  View on GitHub
  bidirectional type checking algorithms for higher-ranked polymorphism
  ☆44Mar 23, 2022Updated 4 years ago
• ezyang / HoTT-coqex

  View on GitHub
  Coq solutions to exercises in HoTT book
  ☆12Jan 31, 2014Updated 12 years ago
• utilForever / nerf-rs

  View on GitHub
  Rust implementation of NeRF: Representing Scenes as Neural Radiance Fields for View Synthesis and its extension to follow-up research pro…
  ☆11May 12, 2023Updated 3 years ago
• rocq-community / topology

  View on GitHub
  General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]
  ☆52May 23, 2026Updated 2 weeks ago
• Beluga-lang / McTT

  View on GitHub
  Building A Correct-By-Construction Proof Checkers For Type Theories
  ☆32May 22, 2026Updated 2 weeks ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• snu-sf / paco

  View on GitHub
  A Coq library for parametric coinduction
  ☆51Apr 29, 2026Updated last month
• Lysxia / system-F

  View on GitHub
  Formalization of the polymorphic lambda calculus and its parametricity theorem
  ☆37Mar 17, 2025Updated last year
• fedebotu / kaist-safety-course-bot

  View on GitHub
  A bot for automatically completing the KAIST safety course
  ☆10Aug 29, 2023Updated 2 years ago
• ernius / mergesort

  View on GitHub
  Merge sort correctness proof
  ☆11May 21, 2015Updated 11 years ago
• rocq-community / rocq-lsp

  View on GitHub
  Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
  ☆205Jun 3, 2026Updated last week
• imranmaj / websockets

  View on GitHub
  A WebSocket client implementation
  ☆11Jul 29, 2021Updated 4 years ago
• DeepSpec / InteractionTrees

  View on GitHub
  A Library for Representing Recursive and Impure Programs in Coq
  ☆251May 7, 2026Updated last month
• LPCIC / matita

  View on GitHub
  Matita (proof assistant) with embedded elpi
  ☆15Jan 30, 2018Updated 8 years ago
• acharal / wam

  View on GitHub
  A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
  ☆22Apr 2, 2020Updated 6 years ago
• Managed Kubernetes at scale on DigitalOcean • Ad
  DigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
• gshstexsociety / gshs-format

  View on GitHub
  LaTeX 양식 : R&E, 졸업논문, beamer 등등 - 컴파일된 결과 pdf파일 미포함
  ☆63Mar 11, 2025Updated last year
• plwiki / plwiki.github.io

  View on GitHub
  ☆35Nov 7, 2025Updated 7 months ago
• KiJeong-Lim / portfolio

  View on GitHub
  My portfolio contains a lexer generator, a parser generator, my own λProlog interpreter, and several meta-theorems for the propositional …
  ☆15May 20, 2026Updated 3 weeks ago
• haskell-kr / haskell-kr

  View on GitHub
  하스켈 모임 웹사이트 소스 코드
  ☆16Dec 8, 2021Updated 4 years ago
• GaloisInc / reopt-vcg

  View on GitHub
  A translation verifier for Reopt (https://github.com/GaloisInc/reopt)
  ☆20Sep 20, 2021Updated 4 years ago
• ENvironmentSet / lambda2wasm

  View on GitHub
  A Lambda expression compiler targeting web assembly.
  ☆20Aug 7, 2024Updated last year
• mmcco / verified-parser-example

  View on GitHub
  A minimal example of a formally verified parser using ocamllex and Menhir's Coq backend.
  ☆21Mar 19, 2015Updated 11 years ago
• patricoferris / riscv-o-spec

  View on GitHub
  An OCaml extension for RISC-V
  ☆16Nov 6, 2020Updated 5 years ago
• prosyslab / pl-wiki

  View on GitHub
  ☆48May 15, 2026Updated 3 weeks ago
• GPUs on demand by Runpod - Special Offer Available • Ad
  Run AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
• MrBananaHuman / LyricsGenerator

  View on GitHub
  Lyrics Generator in Korean
  ☆16Nov 29, 2019Updated 6 years ago
• kaist-cp / helpdesk

  View on GitHub
  ☆23Apr 1, 2021Updated 5 years ago
• snu-sf-class / swpp202401

  View on GitHub
  Principles and Practices of Software Development Main Repository
  ☆18Jun 10, 2024Updated 2 years ago
• sohnryang / survival-at-postech

  View on GitHub
  Happy campus life
  ☆18Sep 3, 2024Updated last year
• mirage / checkseum

  View on GitHub
  ☆16Apr 21, 2026Updated last month
• utilForever / InfinityMetro

  View on GitHub
  Mini Metro simulator using C++ with some reinforcement learning
  ☆18Nov 20, 2020Updated 5 years ago
• CTSRD-CHERI / RVBS

  View on GitHub
  RISC-V BSV Specification
  ☆24Apr 28, 2026Updated last month