All workflows

Workflow runs

• Rename AdvancedLogic.lean to AdvancedLogic.lean

  failed:
  Lean Action CI#31:Commit9bd06eapushedbyssingh92-ops
  main

  Apr 19, 20269m 8s
  More actions for workflow run 31

• Delete EE598Singh/HW/HW_VII_2_3.lean

  failed:
  Lean Action CI#30:Commitb004bb0pushedbyssingh92-ops
  main

  Apr 19, 20269m 7s
  More actions for workflow run 30

• Rename EE598Singh/HW/HW_IV_3.lean to EE598Singh/Relations.lean

  failed:
  Lean Action CI#29:Commit62930f8pushedbyssingh92-ops
  main

  Apr 19, 20268m 20s
  More actions for workflow run 29

• Update and rename AlgebraViaSets.lean

  failed:
  Lean Action CI#28:Commitd1388d8pushedbyssingh92-ops
  main

  Apr 19, 20268m 37s
  More actions for workflow run 28

• Update and rename HW_II_1.lean to LambdaCalculus.lean

  failed:
  Lean Action CI#27:Commitb521186pushedbyssingh92-ops
  main

  Apr 19, 20268m 3s
  More actions for workflow run 27

• Update and rename to Types.lean

  failed:
  Lean Action CI#26:Commit137d453pushedbyssingh92-ops
  main

  Apr 19, 20268m 47s
  More actions for workflow run 26

• Update and rename HW_II_3.lean to TypeBasedProofs.lean

  failed:
  Lean Action CI#25:Commitc19f86dpushedbyssingh92-ops
  main

  Apr 19, 20269m 18s
  More actions for workflow run 25

• Update and rename HW_II_4.lean to SetsAndLogic.lean

  failed:
  Lean Action CI#24:Commitc5175aapushedbyssingh92-ops
  main

  Apr 19, 20269m 6s
  More actions for workflow run 24

• Update and rename HW_II_5.lean to TypesWithVectors.lean

  failed:
  Lean Action CI#23:Commit5941799pushedbyssingh92-ops
  main

  Apr 19, 20268m 48s
  More actions for workflow run 23

• Update and rename to Tactics.lean

  failed:
  Lean Action CI#22:Commitd1e5dc7pushedbyssingh92-ops
  main

  Apr 19, 20267m 59s
  More actions for workflow run 22

• Update and rename to PolyExplr.lean

  failed:
  Lean Action CI#21:Commitb16e830pushedbyssingh92-ops
  main

  Apr 19, 20268m 3s
  More actions for workflow run 21

• Update and rename to NumberTheory.lean

  failed:
  Lean Action CI#20:Commitbd09883pushedbyssingh92-ops
  main

  Apr 19, 20269m 1s
  More actions for workflow run 20

• Update and rename to BooleanAlgebra.lean

  failed:
  Lean Action CI#19:Commit76a5421pushedbyssingh92-ops
  main

  Apr 19, 20269m 2s
  More actions for workflow run 19

• Update and rename HW_III_6.lean to LevelsAndType.lean

  failed:
  Lean Action CI#18:Commit3735f7apushedbyssingh92-ops
  main

  Apr 19, 20268m 44s
  More actions for workflow run 18

• Update and rename HW_III_4&5.lean to AdvancedLogic.lean

  failed:
  Lean Action CI#17:Commitb2dc5d0pushedbyssingh92-ops
  main

  Apr 19, 20268m 47s
  More actions for workflow run 17

• Update and rename to PropLogic.lean

  failed:
  Lean Action CI#16:Commitd885d1fpushedbyssingh92-ops
  main

  Apr 19, 20268m 43s
  More actions for workflow run 16

• Delete Poly directory

  failed:
  Lean Action CI#15:Commit8b3b166pushedbyssingh92-ops
  main

  Apr 19, 20268m 42s
  More actions for workflow run 15

• Update README.md

  failed:
  Lean Action CI#14:Commita805ba7pushedbyssingh92-ops
  main

  Apr 19, 20267m 44s
  More actions for workflow run 14

• Update README.md

  failed:
  Lean Action CI#13:Commit781508cpushedbyssingh92-ops
  main

  Apr 19, 20269m 9s
  More actions for workflow run 13

• Update Equalizers.lean

  failed:
  Lean Action CI#12:Commit0d1721apushedbyssingh92-ops
  main

  Apr 17, 20269m 39s
  More actions for workflow run 12

• Add HW_IV_3 Lean homework file

  failed:
  Lean Action CI#11:Commitb30b858pushedbyssingh92-ops
  main

  Mar 9, 202613m 31s
  More actions for workflow run 11

• Add HW_IV_1_2 Lean homework file

  failed:
  Lean Action CI#10:Commit7bc4ed1pushedbyssingh92-ops
  main

  Mar 9, 202614m 22s
  More actions for workflow run 10

• Add HW_VII_2_3 Lean homework file

  failed:
  Lean Action CI#9:Commitac6348dpushedbyssingh92-ops
  main

  Mar 9, 202613m 0s
  More actions for workflow run 9

• equality in lean

  failed:
  Lean Action CI#8:Commit34e6075pushedbyssingh92-ops
  main

  Feb 18, 202614m 1s
  More actions for workflow run 8

• learning first order logic and tactics in lean

  failed:
  Lean Action CI#7:Commit69e9ea2pushedbyssingh92-ops
  main

  Feb 13, 202613m 12s
  More actions for workflow run 7