All workflows

Workflow runs

• more readme

  failed:
  Lean Action CI#24:Commitac33e7dpushedbyRob23oba
  master

  Mar 18, 20262m 54s
  More actions for workflow run 24

• oops I forgor

  failed:
  Lean Action CI#23:Commitb965d61pushedbyRob23oba
  master

  Mar 18, 20262m 46s
  More actions for workflow run 23

• rename other_dcomp_tac => dcomp_tac, @[other_dprim] => @[dcomp]

  failed:
  Lean Action CI#22:Commit5493888pushedbyRob23oba
  master

  Mar 18, 20263m 19s
  More actions for workflow run 22

• rename other_dcomp_tac => dcomp_tac, @[other_dprim] => @[dcomp]

  failed:
  Lean Action CI#21:Commit0f534bapushedbyRob23oba
  master

  Mar 18, 20261m 12s
  More actions for workflow run 21

• oops2

  failed:
  Lean Action CI#20:Commitfe01a9apushedbyRob23oba
  master

  Mar 18, 20261m 25s
  More actions for workflow run 20

• oops

  failed:
  Lean Action CI#19:Commitfd06987pushedbyRob23oba
  master

  Mar 18, 20261m 14s
  More actions for workflow run 19

• optimize bvar computability proofs

  failed:
  Lean Action CI#18:Commitd5b8a66pushedbyRob23oba
  master

  Mar 18, 20261m 50s
  More actions for workflow run 18

• good progress on compatibility (DComputable <-> Computable!)

  failed:
  Lean Action CI#17:Commit4d1da52pushedbyRob23oba
  master

  Mar 11, 20262m 33s
  More actions for workflow run 17

• unfinished compatibility work

  failed:
  Lean Action CI#16:Commit9538c73pushedbyRob23oba
  master

  Mar 10, 20262m 12s
  More actions for workflow run 16

• forgot something

  failed:
  Lean Action CI#15:Commit032b78bpushedbyRob23oba
  master

  Mar 10, 20262m 13s
  More actions for workflow run 15

• prune context for new% and let_new/have_new

  failed:
  Lean Action CI#14:Commitf6964d3pushedbyRob23oba
  master

  Mar 10, 20262m 27s
  More actions for workflow run 14

• refactoring stuff (compatibility coming again soon) + omegaPart

  failed:
  Lean Action CI#13:Commit26bbb48pushedbyRob23oba
  master

  Mar 9, 20262m 37s
  More actions for workflow run 13

• getting close to done with recursors, new let q() := _ syntax

  failed:
  Lean Action CI#12:Commitc968f34pushedbyRob23oba
  master

  Mar 7, 20261m 38s
  More actions for workflow run 12

• recursor model done! (except structures)

  failed:
  Lean Action CI#11:Commit77ed015pushedbyRob23oba
  master

  Mar 3, 20261m 51s
  More actions for workflow run 11

• progress on RecursorModel

  failed:
  Lean Action CI#10:Commitb03cf52pushedbyRob23oba
  master

  Mar 2, 20262m 16s
  More actions for workflow run 10

• bump version

  completed successfully:
  Create Release#1:Commit85d9999pushedbyRob23oba
  master

  Mar 2, 20269s
  More actions for workflow run 1

• bump version

  failed:
  Lean Action CI#9:Commit85d9999pushedbyRob23oba
  master

  Mar 2, 20262m 46s
  More actions for workflow run 9

• first steps for recursor model

  failed:
  Lean Action CI#8:Commitf6deaf9pushedbyRob23oba
  master

  Mar 2, 20262m 25s
  More actions for workflow run 8

• use "x x_extra" instead of "x_base x"

  failed:
  Lean Action CI#7:Commit1491d91pushedbyRob23oba
  master

  Mar 1, 20262m 55s
  More actions for workflow run 7

• computability of constructors!

  failed:
  Lean Action CI#6:Commit1baa43apushedbyRob23oba
  master

  Feb 26, 20262m 59s
  More actions for workflow run 6

• produce proper encoding inductives

  failed:
  Lean Action CI#5:Commit5d7ad12pushedbyRob23oba
  master

  Feb 25, 20262m 20s
  More actions for workflow run 5

• move things, automatically convert + some dcomp stuff

  failed:
  Lean Action CI#4:Commitd4283c6pushedbyRob23oba
  master

  Feb 23, 20262m 22s
  More actions for workflow run 4

• Acc.rec is computable! + some interesting developments with DComp

  failed:
  Lean Action CI#3:Commit40d3d3epushedbyRob23oba
  master

  Feb 23, 20262m 48s
  More actions for workflow run 3

• fixes + computability theorems

  failed:
  Lean Action CI#2:Commit23f4254pushedbyRob23oba
  master

  Feb 22, 20262m 52s
  More actions for workflow run 2

• add computability prover

  failed:
  Lean Action CI#1:Commit5a267a3pushedbyRob23oba
  master

  Feb 21, 20261m 51s
  More actions for workflow run 1