This website requires JavaScript.
Explore
Help
Sign In
phc
/
lean4game
Watch
6
Star
1
Fork
0
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
Files
591423b3080179e1a2e18a2b03241e0af6b1e29f
lean4game
/
server
/
leanserver
/
GameServer
T
History
Alexander Bentkamp
591423b308
make opening namespaces work properly
2023-02-24 16:37:40 +01:00
..
Commands.lean
Use local scope from level file in game
2023-02-22 17:45:08 +01:00
EnvExtensions.lean
Use local scope from level file in game
2023-02-22 17:45:08 +01:00
FileWorker.lean
make opening namespaces work properly
2023-02-24 16:37:40 +01:00
Game.lean
show lemma and tactic docs
2023-02-09 15:34:37 +01:00
Graph.lean
graph algos
2023-02-03 16:29:16 +01:00
InteractiveGoal.lean
Split assumptions and objects
2023-01-25 11:29:40 +01:00
RpcHandlers.lean
custom interactive goal data types
2023-01-25 11:00:36 +01:00
Watchdog.lean
Speed up loading by process queue
#15
2023-02-23 10:18:02 +01:00
