Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with proof-refinement

A curated list of projects in awesome lists tagged with proof-refinement .

https://github.com/totbwf/refinery

⛏️ A refinement proof framework for haskell

metaprogramming proof-automation proof-refinement

Last synced: 19 Dec 2024

https://github.com/redprl/sml-dependent-lcf

A library for the next generation of LCF refiners, with support for dependent refinement—Long Live the Anti-Realist Struggle!

lcf proof-refinement refiner tactics

Last synced: 10 Nov 2024

https://github.com/robrix/surface

Dependently-typed language w/ little to say for itself

dependent-types haskell proof-refinement typechecker

Last synced: 23 Oct 2024