Skip to content

Actions: ammkrn/type_checking_in_lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Merge pull request #8 from kodyvajjha/patch-2 Deploy mdBook site to Pages #14: Commit 25acdb2 pushed by ammkrn
2m 5s main
main
2m 5s
Merge pull request #9 from ammkrn/uparams_nidx Deploy mdBook site to Pages #13: Commit 25af120 pushed by ammkrn
1m 58s main
main
1m 58s
Note export format as fork, fix iota reduction typo Deploy mdBook site to Pages #12: Commit a1f15bb pushed by ammkrn
2m 2s main
main
2m 2s
Merge pull request #7 from kodyvajjha/patch-1 Deploy mdBook site to Pages #11: Commit 0a2520c pushed by ammkrn
2m 8s main
main
2m 8s