Skip to content

Actions: a2435191/lean-logic-formalization

Actions

Lean Action CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean_action_ci.yml
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