Commit Graph

2 Commits

Author SHA1 Message Date
Leni Aniva 2aa5fb2a3d
doc: Update `load_sorry` documentation 2024-12-11 20:46:39 -08:00
Leni Aniva 7a2278cb70
doc: Add comprehensive documentation
fix: Typo in `Server.tactic_invocations`
2024-10-20 19:22:35 -07:00