Pinned Repositories
CAP-Game-2024
New version of the CAP Game in Lean 4. Created as material for the course computer assisted proofs at the Vrije Universiteit Amsterdam. Original found at https://alexjbest.github.io/CAP-game/
InftyCat
lean4game-logic
Make/Encode some basic logic puzzles
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
mathlib-port-status
Tools for managing the status of the port
openEDX_grader
A simple openEDX grader to correct Python code.
Sitzreservation
lean4game
Server to host lean games.
mathlib
Lean 3's obsolete mathematical components library: please use mathlib4
mathlib4
The math library of Lean 4
joneugster's Repositories
joneugster/openEDX_grader
A simple openEDX grader to correct Python code.
joneugster/InftyCat
joneugster/Sitzreservation
joneugster/CAP-Game-2024
New version of the CAP Game in Lean 4. Created as material for the course computer assisted proofs at the Vrije Universiteit Amsterdam. Original found at https://alexjbest.github.io/CAP-game/
joneugster/lean4game-logic
Make/Encode some basic logic puzzles
joneugster/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
joneugster/mathlib-port-status
Tools for managing the status of the port
joneugster/my_test_game
joneugster/MyGame
Demo
joneugster/OCourse
Simple GPS analysis tool with video export.
joneugster/PixelBayes
joneugster/register
joneugster/Robo-Images
The image originals for the game Robo
joneugster/sitzreservation-QR
QR code reader for seat reservation tool.
joneugster/std4
Standard Library for Lean 4
joneugster/STG4
Set Theory Game
joneugster/test_deprecation
joneugster/testSrcDir
joneugster/testSrcDir2
joneugster/UnicodeInputTest
joneugster/vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant
joneugster/vscode-lean4-code-actions