Distributed termination detection on a ring, due to Shmuel Safra:
Distributed termination detection on a ring, due to Shmuel Safra: https:...
Coq集合论中文教程
An Automated Theorem Prover for Classical Higher-Order Logic with Henkin...
Prime numbers for Coq
A Scala library for controlling/interacting with Isabelle
An SMT Solver for string constraints
This package provides a Coq formalization of abstract algebra using a fu...
Native Neural Network Inference in Lean