Skip to content

Actions: chabulhwi/tpil-solutions

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
87 workflow runs
87 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

doc: paraphrase docstring of Paradox.spearShield Lean Action CI #88: Commit 31159a4 pushed by chabulhwi
February 17, 2025 01:26 25s master
master
February 17, 2025 01:26 25s
refactor: remove unnecessary field and notation Lean Action CI #87: Commit b7e3a3d pushed by chabulhwi
February 17, 2025 01:18 19s master
master
February 17, 2025 01:18 19s
style: remove unnecessary french quotes Lean Action CI #86: Commit 954a654 pushed by chabulhwi
February 16, 2025 16:22 16s master
master
February 16, 2025 16:22 16s
doc: add link to TPIL.Exam Lean Action CI #85: Commit 7fb505f pushed by chabulhwi
February 16, 2025 16:19 16s master
master
February 16, 2025 16:19 16s
doc: add information about my additional exams Lean Action CI #84: Commit 6792568 pushed by chabulhwi
February 16, 2025 16:17 19s master
master
February 16, 2025 16:17 19s
fix: move exam 1 to Exam module Lean Action CI #83: Commit cc5ab12 pushed by chabulhwi
February 16, 2025 16:13 19s master
master
February 16, 2025 16:13 19s
feat: add exam 1 Lean Action CI #82: Commit 690057f pushed by chabulhwi
February 16, 2025 16:08 18s master
master
February 16, 2025 16:08 18s
doc: mention True.intro's alias trivial Lean Action CI #81: Commit 9756b0a pushed by chabulhwi
February 12, 2025 01:49 18s master
master
February 12, 2025 01:49 18s
doc: remove unnecessary newline character Lean Action CI #80: Commit 19bb958 pushed by chabulhwi
February 12, 2025 01:31 22s master
master
February 12, 2025 01:31 22s
style: define predicate in a single line Lean Action CI #79: Commit 7c38157 pushed by chabulhwi
February 12, 2025 01:11 20s master
master
February 12, 2025 01:11 20s
doc: fix links to section titles written in Korean Lean Action CI #78: Commit f2f14f8 pushed by chabulhwi
February 11, 2025 13:25 19s master
master
February 11, 2025 13:25 19s
doc: add Korean translation of chapter 4 quiz Lean Action CI #77: Commit fabbabd pushed by chabulhwi
February 11, 2025 13:02 29s master
master
February 11, 2025 13:02 29s
feat: add chapter 4 quiz Lean Action CI #76: Commit 3655435 pushed by chabulhwi
February 9, 2025 08:36 18s master
master
February 9, 2025 08:36 18s
feat: prove em_of_dne outside Classical Lean Action CI #75: Commit 2123f47 pushed by chabulhwi
February 9, 2025 06:52 18s master
master
February 9, 2025 06:52 18s
chore: move toolchain to v4.16.0 Lean Action CI #74: Commit b7a1f3d pushed by chabulhwi
February 4, 2025 02:53 24s master
master
February 4, 2025 02:53 24s
doc: add missing docstring to a theorem Lean Action CI #73: Commit 9b4930a pushed by chabulhwi
January 28, 2025 09:03 27s master
master
January 28, 2025 09:03 27s
feat: add note on quantifiers Lean Action CI #72: Commit 7a2535f pushed by chabulhwi
January 28, 2025 08:59 18s master
master
January 28, 2025 08:59 18s
chore: move toolchain to v4.15.0 Lean Action CI #71: Commit d7b3b3b pushed by chabulhwi
January 15, 2025 03:53 24s master
master
January 15, 2025 03:53 24s
doc: change a Lean file's license notice Lean Action CI #70: Commit 1322446 pushed by chabulhwi
January 2, 2025 15:26 25s master
master
January 2, 2025 15:26 25s
doc: update information on licenses Lean Action CI #69: Commit d0071a6 pushed by chabulhwi
January 2, 2025 15:13 19s master
master
January 2, 2025 15:13 19s
doc: add LICENSE-CC0 file Lean Action CI #68: Commit 777300b pushed by chabulhwi
January 2, 2025 14:56 23s master
master
January 2, 2025 14:56 23s
doc: add another LICENSE file Lean Action CI #67: Commit 1577c74 pushed by chabulhwi
January 2, 2025 14:47 20s LICENSE
LICENSE
January 2, 2025 14:47 20s
doc: update README.ko.md Lean Action CI #66: Commit 3b28583 pushed by chabulhwi
December 31, 2024 15:35 19s master
master
December 31, 2024 15:35 19s
doc: update information about TPIL directory Lean Action CI #65: Commit 0bb1b13 pushed by chabulhwi
December 31, 2024 15:31 24s master
master
December 31, 2024 15:31 24s
feat: add note on predicates and relations Lean Action CI #64: Commit d7250be pushed by chabulhwi
December 31, 2024 15:18 18s master
master
December 31, 2024 15:18 18s