Lambdapi Standard Library

https://github.com/deducteam/lambdapi-stdlib

The Lambdapi Standard Library provides essential modules for logical and mathematical constructs...

Tokens:4,918
Snippets:35
Trust Score:8.4
Update:5 months ago
Tokens:
Raw