ProofSouq.com
ProofSouq.com makes it easy to transpile mathematical proofs from one language to another, with future plans to introduce cross-language search and auto-completion features.
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...