Pinned Repositories
cats
Category Theory in Agda. Learning exercise, not for public consumption.
docker-agda-stdlib
Docker image with Agda and agda-stdlib
elan-cleanup
A tool for cleaning up unused Lean toolchains
internal-language
msc-thesis-code
Agda formalisation of my M.Sc. thesis: a lambda calculus with sized types and a reflexive graph model of the same
opdtab
Tabbing software for OPD debating tournaments
regensburg-itp-school-2023
Materials for my lecture at the 2023 International School on Interactions of Proof Assistants and Mathematics in Regensburg
SessionTypes
Some mechanised proofs about session types
well-founded-corecursion
An attempt to integrate well-founded recursion into corecursion
aesop
White-box automation for Lean 4
JLimperg's Repositories
JLimperg/regensburg-itp-school-2023
Materials for my lecture at the 2023 International School on Interactions of Proof Assistants and Mathematics in Regensburg
JLimperg/elan-cleanup
A tool for cleaning up unused Lean toolchains
JLimperg/internal-language
JLimperg/dtt-seminar-2024
Materials for a 2024 seminar on dependent type theory at LMU Munich
JLimperg/sf-seminar-2023
Materials for my Software Foundations seminar, 2023 edition
JLimperg/aesop-nightlies
Nightly builds for the Aesop Lean 4 library
JLimperg/aesop3
White-box proof automation for Lean
JLimperg/bsc-ouertatani
JLimperg/duck
JLimperg/hakyll-agda
Hakyll support for Agda literate files
JLimperg/lean-postgres
JLimperg/lean4
Lean 4 programming language and theorem prover
JLimperg/lean4-aesop
Fork of Lean 4 with minor changes needed by the Aesop tactic
JLimperg/lean4-linter-test
JLimperg/lean4-memo-nat
JLimperg/lean4-metaprogramming-book
JLimperg/lean4-rewriting
Tests around generalized rewriting in Lean 4.
JLimperg/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
JLimperg/logical_verification_2023
Hitchhiker's Guide to Logical Verification (2023 Edition)
JLimperg/mathlib-bench
Benchmarker for Lean's mathlib
JLimperg/mathlib4
The math library of Lean 4
JLimperg/mathport
Mathport is a tool for porting Lean3 projects to Lean4
JLimperg/open_tab_v2
JLimperg/std4
Standard Library for Lean 4
JLimperg/tab-tools
JLimperg/tabbycat
JLimperg/tabbycat-feedback
JLimperg/test-lake-bug
JLimperg/website-theory-amsterdam
JLimperg/wmce-playlist
Create a Spotify playlist from the World Music Charts Europe charts