Skip to content
.github/workflows/main.yml

Generate the proofs of all the theorems of an HOL-Light file in a single Lambdapi file #1131

Sign in to view logs

Generate the proofs of all the theorems of an HOL-Light file in a single Lambdapi file

Generate the proofs of all the theorems of an HOL-Light file in a single Lambdapi file #1131

Triggered via pull request July 31, 2025 07:56
@fblanquifblanqui
synchronize #183
fblanqui:merge
Status Success
Total duration 14m 32s
Artifacts –

main.yml

on: pull_request
Matrix: ci
Fit to window
Zoom out
Zoom in