-
cambridge-maths-notes Public
Forked from zeramorphic/cambridge-maths-notesLaTeX sources for notes for the maths courses at Cambridge.
TeX UpdatedFeb 15, 2025 -
-
-
mathematics_in_lean Public
Forked from leanprover-community/mathematics_in_leanThe user home repository for the Mathematics in Lean tutorial.
HTML UpdatedNov 9, 2024 -
100-exercises-to-learn-rust Public
Forked from mainmatter/100-exercises-to-learn-rustA self-paced course to learn Rust, one exercise at a time.
Rust UpdatedOct 2, 2024 -
-
-
oscp-cpts-notes Public
Forked from happysuna/oscp-cpts-notesNotes for OSCP & CPTS
1 UpdatedJul 4, 2024 -
lean4-metaprogramming-book Public
Forked from leanprover-community/lean4-metaprogramming-bookLean Apache License 2.0 UpdatedApr 21, 2024 -
-
LFTCM2024 Public
Forked from riccardobrasca/LFTCM2024Repository for the conference LFTCM2024
Lean Apache License 2.0 UpdatedApr 17, 2024 -
LeanInk Public
Forked from leanprover/LeanInkLeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
Lean Apache License 2.0 UpdatedMar 13, 2024 -
theorem_proving_in_lean4 Public
Forked from leanprover/theorem_proving_in_lean4Theorem Proving in Lean 4
JavaScript Apache License 2.0 UpdatedMar 6, 2024 -
latex-mimosis Public template
Forked from Pseudomanifold/latex-mimosisA minimal & modern LaTeX template for your (bachelor's | master's | doctoral) thesis
TeX MIT License UpdatedFeb 26, 2024 -
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedFeb 15, 2024 -
-
lean4-mode Public
Forked from leanprover-community/lean4-modeEmacs major mode for Lean 4
Emacs Lisp Apache License 2.0 UpdatedAug 28, 2023 -
cpts-quick-references Public
Forked from missteek/cpts-quick-referencesHTB Certified Penetration Testing Specialist CPTS Study
UpdatedJul 24, 2023 -
-
-
-
-