Skip to content

Set implicitLambda to false when elaborating terms passed into Duper #255

Set implicitLambda to false when elaborating terms passed into Duper

Set implicitLambda to false when elaborating terms passed into Duper #255

Annotations

1 error

TestExe

failed Nov 30, 2024 in 7s
Set up job
0s
Check out repository code
1s
Install elan & Lean
5s
Download TPTP
0s
lake build
0s
Test THF
0s
Test TFF
0s
Test FOF
0s
Post Check out repository code
0s
Complete job
0s