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

☆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

• damhiya / Coq-tips

  View on GitHub
  ☆10Nov 20, 2023Updated 2 years ago
• PnVDiscord / PnVRocqLib

  View on GitHub
  📝 A Rocq library written by members of PnV Discord Server
  ☆19Feb 17, 2026Updated last week
• damhiya / MetaLambda

  View on GitHub
  ☆14Feb 26, 2024Updated 2 years ago
• PnVDiscord / software-foundations-lean

  View on GitHub
  📚 (WIP) Rewriting Software Foundations in Lean 4
  ☆28Oct 24, 2025Updated 4 months ago
• snu-sf / Ordinal

  View on GitHub
  ☆15Aug 3, 2025Updated 6 months ago
• kwanghoon / bidi

  View on GitHub
  bidirectional type checking algorithms for higher-ranked polymorphism
  ☆19Mar 23, 2022Updated 3 years ago
• snu-sf-class / sf202301

  View on GitHub
  컴퓨터 신기술 특강
  ☆10Jun 23, 2023Updated 2 years ago
• haskell-kr / haskell-kr

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

  View on GitHub
  Programming Principles, SNU 4190.210, 2024 Fall
  ☆22Dec 26, 2024Updated last year
• Beluga-lang / McTT

  View on GitHub
  Building A Correct-By-Construction Proof Checkers For Type Theories
  ☆31Jan 15, 2026Updated last month
• snu-sf / paco

  View on GitHub
  A Coq library for parametric coinduction
  ☆51Jan 30, 2025Updated last year
• snu-sf-class / pp202302

  View on GitHub
  Programming Principles, SNU 4190.210, 2023 Fall
  ☆21Dec 6, 2023Updated 2 years ago
• napkin-community / solutions

  View on GitHub
  📝 Solutions of "An Infinitely Large Napkin"
  ☆38Feb 22, 2026Updated last week
• Lysxia / system-F

  View on GitHub
  Formalization of the polymorphic lambda calculus and its parametricity theorem
  ☆37Mar 17, 2025Updated 11 months ago
• snu-sf / promising-coq

  View on GitHub
  The Coq development of A Promising Semantics for Relaxed-Memory Concurrency
  ☆43Oct 15, 2024Updated last year
• plwiki / plwiki.github.io

  View on GitHub
  ☆36Nov 7, 2025Updated 3 months ago
• simnalamburt / snippets

  View on GitHub
  My code snippets
  ☆38Sep 30, 2025Updated 5 months ago
• DeepSpec / InteractionTrees

  View on GitHub
  A Library for Representing Recursive and Impure Programs in Coq
  ☆244Jan 22, 2026Updated last month
• kaist-cp / helpdesk

  View on GitHub
  ☆23Apr 1, 2021Updated 4 years ago
• ernius / mergesort

  View on GitHub
  Merge sort correctness proof
  ☆11May 21, 2015Updated 10 years ago
• jedisct1 / siphash-php

  View on GitHub
  SipHash function for PHP
  ☆16Feb 2, 2021Updated 5 years ago
• scari / AgentBar

  View on GitHub
  AgentBar is a macOS menu bar app that tracks AI coding assistant usage in one place.
  ☆31Feb 22, 2026Updated last week
• fedebotu / kaist-safety-course-bot

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

  View on GitHub
  Command-like expressions for real infinite-precision calculations
  ☆55Aug 5, 2025Updated 6 months ago
• irccloud / irccloud-python-client

  View on GitHub
  IRCCloud Python Client
  ☆11Oct 26, 2015Updated 10 years ago
• simnalamburt / refined-naver-blog

  View on GitHub
  😎 Better Naver blog browsing
  ☆10Jan 8, 2026Updated last month
• 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 2 years ago
• jbapple / 128-bit-literals

  View on GitHub
  Library for literal 128-bit integers in C++
  ☆11Nov 18, 2025Updated 3 months ago
• lifthrasiir / rust-strconv

  View on GitHub
  Experimenting with number-to-string and string-to-number conversions in Rust
  ☆14May 23, 2015Updated 10 years ago
• dj-shin / army-client

  View on GitHub
  ☆10Jan 6, 2021Updated 5 years ago
• dwrensha / acronymy

  View on GitHub
  user-editable, acronym-only dictionary
  ☆24Jan 7, 2017Updated 9 years ago
• aieater / python_glview

  View on GitHub
  ☆12Jun 21, 2023Updated 2 years ago
• devunt / Naldthal

  View on GitHub
  Nald'thal the Traders.
  ☆11Nov 4, 2018Updated 7 years ago
• item4 / aiohttp-doh

  View on GitHub
  DNS over HTTPS with aiohttp
  ☆12Sep 12, 2020Updated 5 years ago
• imranmaj / websockets

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

  View on GitHub
  
  ☆12Feb 4, 2024Updated 2 years ago
• meh / rust-lzma

  View on GitHub
  LZMA handling library.
  ☆11May 2, 2017Updated 8 years ago
• ChiefMikeK / ttf-symbola

  View on GitHub
  A Font with extensive coverage of Unicode13 as of March 2020 (part of Unicode Fonts for Ancient Scripts)
  ☆15Mar 26, 2020Updated 5 years ago
• jcinnamond / lawyer

  View on GitHub
  Strong (duck) typing for Ruby
  ☆26Nov 20, 2014Updated 11 years ago