Loreon
Labs
Platform
Docs
Home
Ecosystems
Lean
LeanSudoku
Playing Sudoku in the Lean 4 proof assistant
Lean
Emerging
GitHub
Stars
8
Forks
1
Contributors
2
Last push
20mo ago
Recent commits
Latest commits.
Merge pull request #1 from timotree3/wip-port
c5d60b8
Jeremy Avigad
20mo ago
wip port STactic.lean
b4c5484
Timothy Carlin-Burns
20mo ago
add unported files
36cf0d0
Jeremy Avigad
21mo ago
begin port
b3055b2
Jeremy Avigad
21mo ago
Initial commit
5ac3ad1
Lean 4 VS Code Extension
21mo ago
Top contributors
Builders behind this project.
avigad
3 commits
timotree3
1 commits
