-
MathAssertGPT Public
Create a Generative Pretrained Transformer model for Metamath to generate metamath assertions
Python MIT License UpdatedDec 14, 2025 -
-
set.mm Public
Forked from metamath/set.mmMetamath source file for logic and set theory
HTML Other UpdatedApr 17, 2025 -
ClaimGPT250203 Public
Create a Generative Pretrained Transformer model for Metamath
-
metamath-lamp Public
Forked from expln/metamath-lampMetamath-lamp (Lite Assistant for Metamath Proofs) is a GUI-based proof assistant for creating formal mathematical proofs in Metamath that does not require installation (just run it directly using …
ReScript MIT License UpdatedJul 19, 2024 -
-
rlcard Public
Forked from datamllab/rlcardReinforcement Learning / AI Bots in Card (Poker) Games - Blackjack, Leduc, Texas, DouDizhu, Mahjong, UNO.
Python MIT License UpdatedMay 18, 2023 -
-
{{ message }}