L

lean4-formalization

Project information

A formalization of logical refinement types in Lean 4

1,471 Commits
6 Branches
0 Tags

README

Created on

November 24, 2021

Loading