Code

Initialize Lean project#1

Code

Merged

eyihluyc merged 14 commits intomasterobjectionary/proof:masterfrom setupobjectionary/proof:setupCopy head branch name to clipboardDec 28, 2023

+342-1

Commits

Commits on Dec 27, 2023

• Initialize lean project

  eyihluyc

  committed
  c9c1815

  Copy full SHA for c9c1815

Commits on Dec 28, 2023

• Add whnf and nf

  eyihluyc

  committed
  6f614fd

  Copy full SHA for 6f614fd

• Update README

  eyihluyc

  committed
  72c8168

  Copy full SHA for 72c8168

• Update lakefile

  eyihluyc

  committed
  1906ee5

  Copy full SHA for 1906ee5

• Delete .lake directory

  eyihluyc

  authored
  f4005e0

  Copy full SHA for f4005e0

• Add build target

  eyihluyc

  committed
  2503cd6

  Copy full SHA for 2503cd6

• Update .gitignore

  fizruk

  committed
  1a6bbb9

  Copy full SHA for 1a6bbb9

• Update project, add docs facet

  fizruk

  committed
  e5e27d4

  Copy full SHA for e5e27d4

• Add build/docs workflow

  fizruk

  committed
  3c3b60c

  Copy full SHA for 3c3b60c

• Update README

  fizruk

  committed
  076251b

  Copy full SHA for 076251b

• Bump version of elan

  fizruk

  committed
  ce51381

  Copy full SHA for ce51381

• Fix filename captialization

  fizruk

  committed
  50dfdfb

  Copy full SHA for 50dfdfb

• Cache .lake/

  fizruk

  committed
  8aeb92f

  Copy full SHA for 8aeb92f

• Resolve dependencies if cache is invalidated, rely on lake-manifest.json

  fizruk

  committed
  9987bfb

  Copy full SHA for 9987bfb