ProofSouq.com
ProofSouq.com offers new possibilities for mathematical proof development: search, analyze, and translate across proofs and definitions from Lean and Rocq sources.
Home
Writing
Sep 29 2025 How ProofSouq Transpiles a Proof of the Associativity of Addition Apr 28 2025 Running the Rocq and Lean Provers in Testcontainers Mar 13 2025 العربية Etymons and Swahili Descendants Jan 12 2024 New @GraphQLIgnore Annotation: Code-First Schema in Spring Mar 26 2022 SSL-Terminated ALB with SNI on a Kubernetes/kOps Cluster Aug 30 2020 Wells Fargo 01/21 Puts : Visualizing P/L with J May 31 2020 Autogenerate Parameterized Tests in Rust with a Procedural Macro Nov 23 2019 Proving Equivalence of Two Date Overlap Functions with Coq Sep 15 2019 Portably Cross Assembling and Linking Raw ARM Instructions Apr 4 2019 Parsing a Subset of J with a PEG More Posts...