Tools to use Elpi in Lambdapi + type classes #548
Triggered via pull request
September 17, 2026 11:45
agontard
Status
Success
Total duration
1m 57s
Artifacts
–