tydeu / lean4-papyrusLinks

An LLVM interface for Lean 4. (WIP)
21Updated last year

Alternatives and similar repositories for lean4-papyrus

Users that are interested in lean4-papyrus are comparing it to the libraries listed below

Sorting: