Skip to content

Actions: a2435191/lean-logic-formalization

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
34 workflow runs
34 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Progress in Formula.lean Lean Action CI #34: Commit 52447ae pushed by a2435191
1m 20s main
main
1m 20s
Parametrize Var by type Lean Action CI #33: Commit f780650 pushed by a2435191
1m 33s main
main
1m 33s
Complete 2.4 #5(c) Lean Action CI #32: Commit 679503c pushed by a2435191
1m 29s main
main
1m 29s
Change arbitrary number to 48 Lean Action CI #31: Commit 324ab62 pushed by a2435191
1m 13s main
main
1m 13s
Complete Homework 2.4 #5(b) Lean Action CI #30: Commit 3841992 pushed by a2435191
1m 15s main
main
1m 15s
chore: make the notation scoped (again) Lean Action CI #29: Commit 081e656 pushed by a2435191
1m 22s main
main
1m 22s
Complete HW 2.4 #5 (a) Lean Action CI #28: Commit a8e9b5c pushed by a2435191
1m 18s main
main
1m 18s
State all parts of the fifth homework problem Lean Action CI #27: Commit 9c7047a pushed by a2435191
1m 17s main
main
1m 17s
chores: update Basic, add Homework file Lean Action CI #26: Commit dcf165c pushed by a2435191
1m 13s main
main
1m 13s
First draft of 2.4 Lean Action CI #25: Commit fa91aeb pushed by a2435191
1m 25s main
main
1m 25s
Chore: update TODO.md Lean Action CI #24: Commit cff7242 pushed by a2435191
1m 6s main
main
1m 6s
Complete 2.3 (except some examples and all exercises) Lean Action CI #23: Commit 9108986 pushed by a2435191
1m 21s main
main
1m 21s
Rewrite group homomorphism proof (stop using the group homomorphism c… Lean Action CI #22: Commit eb15c9f pushed by a2435191
1m 13s main
main
1m 13s
Create Structure definitions automatically now Lean Action CI #21: Commit 471458f pushed by a2435191
1m 39s main
main
1m 39s
chore: propagate changes Lean Action CI #20: Commit 186fd46 pushed by a2435191
1m 15s main
main
1m 15s
Refactor Elab, rename it Meta Lean Action CI #19: Commit 89cad75 pushed by a2435191
1m 4s main
main
1m 4s
Mostly completed Elab (replacing Automation for 2.3 Lean Action CI #18: Commit 2110fcd pushed by a2435191
1m 16s main
main
1m 16s
temporary: the 2.3 automation work so far Lean Action CI #17: Commit 86726e9 pushed by a2435191
2m 9s main
main
2m 9s
chore: remove stopgap prefix notation ToString instance for Prop' Lean Action CI #16: Commit 56ed9ab pushed by a2435191
1m 21s main
main
1m 21s
chore: coalesce attributes in Notation.lean files Lean Action CI #15: Commit 1a42ac9 pushed by a2435191
1m 59s main
main
1m 59s
Overhaul Prop' macro system to P! notation, including much more e… Lean Action CI #14: Commit 7d1df03 pushed by a2435191
1m 22s main
main
1m 22s
Complete most of Chapter2.Section3 Lean Action CI #13: Commit 8402dea pushed by a2435191
2m 15s main
main
2m 15s
Create separate TODO file Lean Action CI #12: Commit af56052 pushed by a2435191
1m 46s main
main
1m 46s
chore: clean up Chapter1.Section2 Lean Action CI #11: Commit 815ff79 pushed by a2435191
1m 46s main
main
1m 46s
Remove the remark after Lemma 2.1.6, as it's most likely unneeded Lean Action CI #10: Commit 60ac4e6 pushed by a2435191
1m 31s main
main
1m 31s