Commits

History for

Commits on Aug 16, 2024

chore: remove makefile (#918 )
kim-em
authoredAug 16, 2024

Commits on May 7, 2024

chore: rename to batteries (#780 )
kim-em
authoredMay 7, 2024

Commits on Mar 7, 2024

Further docs fix (#676 )

zdb999
and
Zach Balleisen
authoredMar 7, 2024

Commits on Feb 28, 2024

docs: fix documentation build instructions (#669 )

zdb999
and
Zach Balleisen
authoredFeb 28, 2024

Commits on Feb 10, 2024

chore: clarify that contributions should happen via forks. (#613 )

tobiasgrosser
and
kim-em
authoredFeb 10, 2024

Commits on Jan 9, 2024

doc: how to depend on the library (#513 )

authoredJan 9, 2024

Commits on Jan 5, 2024

chore: Provide consistent Std.Data modules. (#498 )

joehendrix
and
digama0
authoredJan 5, 2024

Commits on Dec 15, 2023

doc: status labels (#454 )
fgdorais
authoredDec 15, 2023

Commits on Nov 28, 2023

feat: declaration form to document welcome proofs (#401 )

david-christiansen
and
kim-em
authoredNov 28, 2023

Commits on Dec 13, 2022

chore: improve readme section for generating and serving documentation (#65 )
AdrienChampion
authoredDec 13, 2022
chore: add doc-gen4 facet to lakefile (#50 )
AdrienChampion
authoredDec 13, 2022

Commits on Aug 31, 2022

feat: add updateStd.sh command
digama0
committedAug 31, 2022
feat: initial commit, adapted from mathlib4
digama0
committedAug 31, 2022

Loading