Barry-Jay / SF

Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus
11Updated 7 years ago

Related projects

Alternatives and complementary repositories for SF