Skip to content

Actions: epfl-lara/lisa

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
94 workflow runs
94 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update Congruence.from to better handle multiple premises. LISA CI #996: Commit d2b2674 pushed by SimonGuilloud
3m 53s congruence-fix
congruence-fix
3m 53s
Reimplement HOL mechanizing. (#254) LISA CI #995: Commit 3d37f17 pushed by sankalpgambhir
3m 34s main
main
3m 34s
Reimplement HOL mechanizing. LISA CI #994: Pull request #254 synchronize by SimonGuilloud
3m 48s SimonGuilloud:holtypes
SimonGuilloud:holtypes
3m 48s
Reimplement HOL mechanizing. LISA CI #993: Pull request #254 synchronize by SimonGuilloud
3m 45s SimonGuilloud:holtypes
SimonGuilloud:holtypes
3m 45s
Reimplement HOL mechanizing. LISA CI #992: Pull request #254 synchronize by SimonGuilloud
3m 57s SimonGuilloud:holtypes
SimonGuilloud:holtypes
3m 57s
Reimplement HOL mechanizing. LISA CI #991: Pull request #254 synchronize by SimonGuilloud
3m 27s SimonGuilloud:holtypes
SimonGuilloud:holtypes
3m 27s
Reimplement HOL mechanizing. LISA CI #990: Pull request #254 synchronize by SimonGuilloud
2m 10s SimonGuilloud:holtypes
SimonGuilloud:holtypes
2m 10s
Reimplement HOL mechanizing. LISA CI #989: Pull request #254 synchronize by SimonGuilloud
2m 1s SimonGuilloud:holtypes
SimonGuilloud:holtypes
2m 1s
Reimplement HOL mechanizing. LISA CI #988: Pull request #254 opened by SimonGuilloud
2m 1s SimonGuilloud:holtypes
SimonGuilloud:holtypes
2m 1s
Smallfixes (#252) LISA CI #987: Commit 5b13582 pushed by SimonGuilloud
3m 48s main
main
3m 48s
Smallfixes LISA CI #986: Pull request #252 synchronize by SimonGuilloud
3m 44s SimonGuilloud:smallfixes
SimonGuilloud:smallfixes
3m 44s
Add dependent type system, Tarski axiom, and bidirectional type check… LISA CI #985: Commit 5bdfe66 pushed by SimonGuilloud
3m 49s main
main
3m 49s
Add dependent type system, Tarski axiom, and bidirectional type checker LISA CI #984: Pull request #253 reopened by HaleOIC
3m 50s HaleOIC:main
HaleOIC:main
3m 50s
Smallfixes LISA CI #981: Pull request #252 synchronize by SimonGuilloud
3m 52s SimonGuilloud:smallfixes
SimonGuilloud:smallfixes
3m 52s
Smallfixes LISA CI #980: Pull request #252 synchronize by SimonGuilloud
2m 49s SimonGuilloud:smallfixes
SimonGuilloud:smallfixes
2m 49s
Add new tactic LISA CI #979: Commit 3b3266a pushed by augustepoiroux
3m 49s mathlib-port
mathlib-port
3m 49s
Add a few new tactics LISA CI #978: Commit fb11a84 pushed by augustepoiroux
3m 44s mathlib-port
mathlib-port
3m 44s
Fix errors LISA CI #977: Commit c63f50f pushed by augustepoiroux
3m 43s mathlib-port
mathlib-port
3m 43s
Rewrite function (#247) LISA CI #973: Commit 4956ec2 pushed by sankalpgambhir
3m 48s main
main
3m 48s
Rewrite function LISA CI #972: Pull request #247 synchronize by SimonGuilloud
3m 24s SimonGuilloud:rewrite
SimonGuilloud:rewrite
3m 24s
Rewrite function LISA CI #971: Pull request #247 opened by SimonGuilloud
2m 12s SimonGuilloud:rewrite
SimonGuilloud:rewrite
2m 12s
Parameter inference for InstantiateForall LISA CI #970: Pull request #245 opened by sankalpgambhir
2m 57s sankalpgambhir:inst-forall-inference
sankalpgambhir:inst-forall-inference
2m 57s
Remove lisa-sets2 (#237) LISA CI #969: Commit 442338d pushed by sankalpgambhir
3m 33s main
main
3m 33s
Remove lisa-sets2 LISA CI #968: Pull request #237 synchronize by sankalpgambhir
3m 51s dhalilov:remove-lisa-sets2
dhalilov:remove-lisa-sets2
3m 51s
Remove Set alias within SetTheory (#244) LISA CI #967: Commit 23600b9 pushed by sankalpgambhir
3m 44s main
main
3m 44s