Skip to content

Deducteam/lambdapi-stdlib

About

Repository of Lambdapi developments

Topics

lambdapi

Resources

Readme

License

View license
Activity
Custom properties

Stars

7 stars

Watchers

2 watching

Forks

9 forks
Report repository

Releases 6

1.3.1 Latest
Nov 25, 2025
+ 5 releases

Packages

No packages published

Contributors 6

Languages