GamesCrafters / GamesmanClassicLinks
The classic C solver and tcl/tk frontend.
☆25Updated 3 weeks ago
Alternatives and similar repositories for GamesmanClassic
Users that are interested in GamesmanClassic are comparing it to the libraries listed below
Sorting:
- A computer algebra system for research in combinatorial game theory☆43Updated last year
- VSCode extension for Metamath☆10Updated last month
- A program for drawing knots and links, with support for importing images☆32Updated last year
- Sokoban implementation in lean for proving solvability / unsolvability☆13Updated 4 years ago
- The TacTok automated Coq proof script synthesis tool☆17Updated last year
- Binary rational numbers in Coq [maintainer=@herbelin]☆14Updated last year
- Coq code formatter☆23Updated last week
- Here we give programs that check if Turing machines halt or not.☆13Updated 3 months ago
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆28Updated this week
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Updated last year
- Learn Lean and topology☆20Updated 2 years ago
- VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …☆45Updated 5 months ago
- TexLive programs bundled into a single static binary for x86_64-linux / WASM☆49Updated 3 months ago
- Tag-based webview of LaTeX documents☆30Updated last year
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆33Updated last month
- Package registry for Lean/Lake.☆19Updated last month
- Metamath verifier in Python☆40Updated 3 weeks ago
- Javascript implementation of Fractran☆14Updated 7 years ago
- A set of files that can be used to create a working version of an early version of the CLU programming language☆36Updated 2 years ago
- ☆15Updated 2 years ago
- A 2d "programming language" based around triangles☆11Updated last year
- metamath proof enumerators and other things☆94Updated 11 months ago
- Lecture Notes for Algebra Lectures at the University of Bonn☆13Updated 9 months ago
- ☆31Updated last year
- interactive math, intuitively☆38Updated last month
- ☆13Updated last year
- Reference compiler for c0☆36Updated last month
- Formalizing "Proofs from THE BOOK"☆63Updated 6 months ago
- Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.☆17Updated 3 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆53Updated last year