Skip to content

Tools to use Elpi in Lambdapi + type classes - #1378

Open
agontard wants to merge 53 commits into
Deducteam:masterfrom
agontard:elpi-rebase
Open

Tools to use Elpi in Lambdapi + type classes#1378
agontard wants to merge 53 commits into
Deducteam:masterfrom
agontard:elpi-rebase

trailing spaces

8b8e8a0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error
test_full (5.5.0)
failed Jul 24, 2026 in 5m 32s