Pinned Repositories
Catlab.jl
An experimental framework for applied category theory
CopenhagenMasterclass2023
CovariantYonedaLean4
A proof of covariant Yoneda Lemma in the Lean 4 Proof Assistant
groupoid_model_in_lean4
HoTT-Agda
Development of homotopy type theory in Agda
InftyCat
lawvere
The collected works of F. W. Lawvere
mcfds
Poly
A Lean4 Formalization of Polynomial Functors
ProofLab
sinhp's Repositories
sinhp/Poly
A Lean4 Formalization of Polynomial Functors
sinhp/ProofLab
sinhp/groupoid_model_in_lean4
sinhp/LeanFibredCategories
A Lean4 Formalization of Fibred Categories
sinhp/mcfds
sinhp/alpaca-lora
Instruct-tune LLaMA on consumer hardware
sinhp/CopenhagenMasterclass2023
sinhp/CovariantYonedaLean4
A proof of covariant Yoneda Lemma in the Lean 4 Proof Assistant
sinhp/InftyCat
sinhp/sinhp.github.io
My Website
sinhp/blog-1
Source for the community blog
sinhp/Carnap
A formal logic framework that runs in the browser
sinhp/Combinatorial-Games
sinhp/CovariantYonedaLean3
A Proof of Covariant Yoneda Lemma in the Lean3 Proof Assistant out of scratch not using Mathlib3.
sinhp/dats0001-foundations-of-data-science
Materials for DATS0001 Foundations of Data Science, ULiège
sinhp/Foundations-of-Data-Science-with-Python
Public Files for the Foundations of Data Science with Python textbook
sinhp/ground_zero
Ground Zero: Lean 4 HoTT Library
sinhp/gt-linalg
Interactive Linear Algebra, free online textbook at Georgia Tech
sinhp/jhu-top-seminar.github.io
JHU Topology Seminar
sinhp/just-the-docs
A modern, high customizable, responsive Jekyll theme for documention with built-in search.
sinhp/lean-matrix-cookbook
The matrix cookbook, proved in the Lean theorem prover
sinhp/LeanCamCombi
Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
sinhp/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
sinhp/mathlib4
The math library of Lean 4
sinhp/Proofs-F23
Lean Repo for Intro to Proofs at Johns Hopkins
sinhp/Proofs-S24
sinhp/pytudes
Python programs, usually short, of considerable difficulty, to perfect particular skills.
sinhp/react-player
A React component for playing a variety of URLs, including file paths, YouTube, Facebook, Twitch, SoundCloud, Streamable, Vimeo, Wistia and DailyMotion
sinhp/Robo
A game for learning lean 4 where a cute little Robo joins you on your exploration of the Mathiverse. The game is in German 🇩🇪
sinhp/thmtools
new home for LaTeX package bundle thmtools