Code

doc: initialize a user-facing mdbook#285

Code

Merged

Nadrieril merged 3 commits intoAeneasVerif:mainAeneasVerif/aeneas:mainfrom RaitoBezarius:aeneas-docsRaitoBezarius/aeneas:aeneas-docsCopy head branch name to clipboardJul 10, 2024

+448

Commits

Commits on Jul 9, 2024

• chore: add rustup for completeness

  Show description for 769e55c
  

  Ryan Lahfa

  committed
  769e55c

• doc: initialize a user-facing mdbook

  Show description for d5e163d
  

  Ryan Lahfa

  committed
  d5e163d

• Merge branch 'main' into aeneas-docs

  

  sonmarcho

  authored and

  Ryan Lahfa

  committed
  250ec9a