Pinned Repositories
abentkamp.github.io
crash
Bundles RBush and SAT.js for easy 2D collisions
duality
EllaVator
Error-Pypagation
python script to calculate physical quantities from data including units and uncertainty propagation
esbuild-import-meta-url-plugin
Esbuild plugin that allows to run the `new URL(..., import.meta.url)` syntax
framework
infoview-npm
lean-browser
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
abentkamp's Repositories
abentkamp/lean-browser
abentkamp/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
abentkamp/abentkamp.github.io
abentkamp/crash
Bundles RBush and SAT.js for easy 2D collisions
abentkamp/duality
abentkamp/Error-Pypagation
python script to calculate physical quantities from data including units and uncertainty propagation
abentkamp/esbuild-import-meta-url-plugin
Esbuild plugin that allows to run the `new URL(..., import.meta.url)` syntax
abentkamp/infoview-npm
abentkamp/lean-auto
Experiments in automation for Lean
abentkamp/lean4
Lean 4 programming language and theorem prover
abentkamp/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
abentkamp/leanwasm
abentkamp/mathlib
Lean mathematical components library
abentkamp/mathlib3port
Stub for downloading mathport artifacts for mathlib3
abentkamp/mathlib4
Work in progress mathlib port for lean 4
abentkamp/monaco-languageclient
Repo hosts npm packages for monaco-languageclient, vscode-ws-jsonrpc, monaco-editor-wrapper, @typefox/monaco-editor-react and monaco-languageclient-examples
abentkamp/monacotest2
abentkamp/monacotest3
abentkamp/nav2d
2d navigation meshes with pathfinding and funneling
abentkamp/odp
abentkamp/report
Final report for the software project
abentkamp/sidekick
[wip] A modular library for CDCL(T) SMT solvers, with proof generation.
abentkamp/spectral
abentkamp/sympy
A computer algebra system written in pure Python
abentkamp/theorem_proving_in_lean
Theorem proving in Lean
abentkamp/tptp-vscode
abentkamp/visibility-graph
Visibility graph implementation to support shortest path calculations such as dijkstra or a-star
abentkamp/vscode-lean
An extension for VS Code which provides support for the Lean language.
abentkamp/vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant
abentkamp/zipperposition
An automatic theorem prover in OCaml for typed logic with equality, datatypes and arithmetic, based on superposition+rewriting