kebekus/bibliography
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
4 Commits 1 Branch 0 Tags
main
T
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Stefan KebekusandClaude Opus 5 669f08e434 Add references on Lean and formalized mathematics 
Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
2026-08-14 13:09:17 +02:00
LICENSE
Initial commit
2023-10-06 14:37:42 +02:00
math.bib
Add references on Lean and formalized mathematics
2026-08-14 13:09:17 +02:00
README.md
Update readme
2023-10-06 14:48:33 +02:00

README.md

bibliography

Bibliography submodule, shared among my math projects.

Reference in New Issue View Git Blame Copy Permalink
S
Description
Bibliography submodule
Readme CC-BY-4.0
364 KiB
Languages
TeX 100%