WncFht / attention-calculator Star 1 Code Issues Pull requests 复现并扩展 zhuyidao.net「注意力计算器」：输入「常数 ⋚ 有理数」自动构造定积分恒等式证明；exact 模式输出 ℚ 上精确恒等式与机器可检证书。Reproduction + exact-arithmetic extension of the zhuyidao.net attention calculator. python flask mathematics sympy symbolic-computation definite-integral exact-arithmetic proof-generation Updated Sep 23, 2026 Python
01alekseev / PetoronAI-zkLicensing Star 1 Code Issues Pull requests PetoronAI Commercial Licensing Program licensing commitment cpp20 proof-generation petoron petoronhash2 zkpetoron petoronai Updated Sep 1, 2026 Objective-C++
quantifier-hub / assertion-prover Star 0 Code Issues Pull requests a formally verified, automated prover for the first-order logic first-order-logic cloud-service automated-theorem-provers automated-reasoning automated-theorem-proving proof-generation reasoning-engines Updated Apr 21, 2026 OCaml
TickTockBent / postcli-docker Star 0 Code Issues Pull requests Dockerized Spacemesh postcli with GPU support — containerized proof generation. docker gpu spacemesh proof-generation Updated Jul 31, 2023
HerodotusDev / hcloud Star 0 Code Issues Pull requests TypeScript SDK and CLI for Herodotus Cloud. sharp atlantic proof-generation stwo proof-verification trace-generation herodotus-cloud Updated May 7, 2026 TypeScript
jonland82 / leandojo-experiments Star 0 Code Issues Pull requests Mapping the hidden geometry between Lean theorem statements, proof strategies, and retrieval-guided proof generation. machine-learning theorem-proving proof-assistant lean formal-methods automated-theorem-proving lean4 retrieval-augmented-generation proof-generation semantic-embeddings leandojo Updated Sep 21, 2026 Python