Pinned Repositories
lean4monaco
Browser support for Lean using a monaco editor.
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/
demolean4
Demo of lean4monaco
InftyCat
lean4game-logic
Make/Encode some basic logic puzzles
openEDX_grader
A simple openEDX grader to correct Python code.
Sitzreservation
lean4game
Server to host lean games.
lean4web
The Lean 4 web editor
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/demolean4
Demo of lean4monaco
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/mathlib4_docs
joneugster/MyGame
Demo
joneugster/OCourse
Simple GPS analysis tool with video export.
joneugster/PixelBayes
joneugster/queueboard
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