Code

docs: init first sketch#294

Code

Open

RaitoBezarius wants to merge 8 commits intoAeneasVerif:mainAeneasVerif/aeneas:mainfrom RaitoBezarius:proving-with-leanRaitoBezarius/aeneas:proving-with-leanCopy head branch name to clipboard

+1,987-132

Commits

Commits on Aug 27, 2024

• chore(docs/user): init a first sketch

  Show description for 19e6056
  

  Ryan Lahfa

  committed
  19e6056

  Copy full SHA for 19e6056

• chore(docs/user): package Mathlib4 in Nix

  Show description for 41320e3
  

  Ryan Lahfa

  committed
  41320e3

  Copy full SHA for 41320e3

• chore(docs/user): produce a simple Factorial example

  Show description for 2efb638
  

  Ryan Lahfa

  committed
  2efb638

  Copy full SHA for 2efb638

• chore(docs/user): vendor various lean-nix code

  Show description for edea76e
  

  Ryan Lahfa

  committed
  edea76e

  Copy full SHA for edea76e

• chore(docs/user): empty the plan and keep a simple good example

  Show description for 787fa50
  

  Ryan Lahfa

  committed
  787fa50

  Copy full SHA for 787fa50

• chore(docs/user): update to 4.11.0-rc2

  Show description for 3a1d6bc
  

  Ryan Lahfa

  committed
  3a1d6bc

  Copy full SHA for 3a1d6bc

Commits on Aug 30, 2024

• docs(user): add developer docs

  Show description for f2cabe5
  

  Ryan Lahfa

  committed
  f2cabe5

  Copy full SHA for f2cabe5

• Merge branch 'main' into proving-with-lean

  

  sonmarcho

  authored and

  Ryan Lahfa

  committed
  84f3e3f

  Copy full SHA for 84f3e3f