Markus Himmel 947cd742bf doc: style guide and naming convention for the standard library (#6950) ... This PR adds a style guide and a naming convention for the standard library.		2025-02-06 08:33:48 +00:00
..
bin
dev	chore: release_checklist.py checks for bump/v4.X.0 branches (#6933)	2025-02-03 23:46:26 +00:00
examples
images
latex
make	fix: indicate dependency on pkgconf in ubuntu docs (#6646)	2025-01-15 05:30:20 +00:00
std	doc: style guide and naming convention for the standard library (#6950)	2025-02-06 08:33:48 +00:00
.gitignore
alectryon.css
alectryon.js
book.toml	chore: update documentation title and link README to reference (#6409)	2024-12-17 22:18:56 +00:00
bool.md
BoolExpr.lean
declarations.md	refactor: TerminationArgument → TerminationMeasure (#6727)	2025-01-23 10:41:38 +00:00
definitions.md
dep.md
deptypes.md
examples.md
expressions.md
faq.md
flake.lock
flake.nix
fplean.md
funabst.md
highlight.js
introdef.md
lean3changes.md
lexical_structure.md	doc: mention subscript j in the lexical structure (#6738)	2025-01-22 09:10:31 +00:00
metaprogramming-arith.lean
metaprogramming-arith.md
mission.md
other_commands.md
perf.md
pygments.css
quickstart.md
reference.md
semantic_highlighting.md
setup.md
simptypes.md
SUMMARY.md
syntax_example.lean
syntax_example.md
syntax_examples.md
syntax_highlight_in_latex.md
tactics.md
tour.md
tpil.md
typeobjs.md
types.md
using_lean.md
whatIsLean.md