Skip to content

Actions: ammkrn/type_checking_in_lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9 workflow runs
9 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
chore: minor style edits. Deploy mdBook site to Pages #23: Commit 2ec9cad pushed by ammkrn
1m 49s main
main
1m 49s
Correct partial order on levels in imax,imax case Deploy mdBook site to Pages #22: Commit 505d903 pushed by ammkrn
1m 48s main
main
1m 48s
chore: update section concerning export format Deploy mdBook site to Pages #21: Commit 5c02f41 pushed by ammkrn
2m 0s main
main
2m 0s
Chore: Clarify def eq on nat, def eq perf points Deploy mdBook site to Pages #20: Commit d95b329 pushed by ammkrn
1m 57s main
main
1m 57s
Merge pull request #12 from Julian/recursive Deploy mdBook site to Pages #19: Commit e29c20f pushed by ammkrn
1m 52s main
main
1m 52s
Merge pull request #11 from bastienlc/main Deploy mdBook site to Pages #18: Commit 820d25c pushed by ammkrn
1m 58s main
main
1m 58s
Remove comment about fork of exporter Deploy mdBook site to Pages #17: Commit f1ad2a6 pushed by ammkrn
1m 57s main
main
1m 57s
Bump export format version Deploy mdBook site to Pages #16: Commit 9d8b2ad pushed by ammkrn
1m 46s main
main
1m 46s
Merge pull request #10 from ammkrn/v2025 Deploy mdBook site to Pages #15: Commit a12b884 pushed by ammkrn
1m 46s main
main
1m 46s