andrejbauer / partial-combinatory-algebrasLinks

A Lean 4 formalization of partial combinatory algebras.
14Updated 5 months ago

Alternatives and similar repositories for partial-combinatory-algebras

Users that are interested in partial-combinatory-algebras are comparing it to the libraries listed below

Sorting: