Actions: leanprover-community/aesop
Actions
Showing runs from all workflows
980 workflow runs
980 workflow runs
synthAppInstances for stateless forward reasoning
Build
#1218:
Commit a6f01a6
pushed
by
JLimperg
synthAppInstances for stateless forward reasoning
Build
#1215:
Commit de4687f
pushed
by
JLimperg