Skip to content

Actions: keilambda/ttfpi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9 workflow runs
9 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add(Basic): Finset ToString unsafe instance Documentation #9: Commit 04838f5 pushed by thelissimus
December 12, 2024 15:34 5m 35s master
master
December 12, 2024 15:34 5m 35s
add(SecondOrder): some example combinators Documentation #8: Commit d04eaa3 pushed by thelissimus
November 28, 2024 16:50 5m 43s master
master
November 28, 2024 16:50 5m 43s
add(SimplyTyped): prove hasDecTypeChecking app isTrue, isFalse case Documentation #7: Commit 38715b0 pushed by thelissimus
November 22, 2024 17:51 5m 31s master
master
November 22, 2024 17:51 5m 31s
init(WeakOmega) Documentation #6: Commit ac0ddaa pushed by thelissimus
November 18, 2024 17:32 5m 32s master
master
November 18, 2024 17:32 5m 32s
add(SecondOrder): port Declaration, Context, Judgement, `Statem… Documentation #5: Commit 7e12720 pushed by thelissimus
November 18, 2024 00:38 5m 46s master
master
November 18, 2024 00:38 5m 46s
refactor(SimplyTyped): judgement rules implicit arguments Documentation #4: Commit 5bb676f pushed by thelissimus
November 16, 2024 20:50 5m 34s master
master
November 16, 2024 20:50 5m 34s
add(SimplyTyped): confluence corollary and subject reduction theorems Documentation #3: Commit 0ef4cd6 pushed by thelissimus
November 13, 2024 22:40 5m 30s master
master
November 13, 2024 22:40 5m 30s
add(SecondOrder): Kind, Typ and Term definitions Documentation #2: Commit 6cbf65f pushed by thelissimus
November 10, 2024 22:08 5m 39s master
master
November 10, 2024 22:08 5m 39s
chore: setup github pages docs deploy Documentation #1: Commit dc023b8 pushed by thelissimus
November 10, 2024 19:57 5m 31s master
master
November 10, 2024 19:57 5m 31s