ProofSouq.com
ProofSouq.com offers new search and analysis capabilities for Lean/Rocq proof development.
Home
Writing
Mar 28 2026 MLIR as the Basis for a Search Engine Mar 27 2026 Bridging MLIR C++ to Java with JavaCPP 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 Feb 24 2019 Realtime Immunizations: Rust, Kafka, WebSockets, FHIR Dec 2 2018 Coq Proof of Safety for a Two Node Bidirectional Network Nov 3 2018 Hetzner's EX51-SSD-GPU with GTX 1080 Mar 27 2018 PL Optimization: Chlipala's Use of CoInductive + Heavy Automation Jan 27 2018 Exfalso in Coq Jun 23 2017 Understanding Induction Hypothesis Variation in Coq May 29 2016 Assisted Theorem Proving with J-Bob May 19 2016 Tensor Product of Vector Spaces, Step by Step Oct 24 2015 GDB with Multi-Threaded Rust Jun 27 2015 SPI Bus Loopback Visualization on the STM32 Microcontroller Mar 7 2015 Reverse Engineering The PeopleSoft PRM Inclusion Algorithm Oct 29 2014 Doing the OAuth2 Dance in 57 Lines of Python Jul 7 2014 Guide to Installing Apache Solr 4.9, Tomcat 7 on RHEL 7 Feb 11 2014 Logging from Clojure with log4j2 Jan 19 2014 ANTLR 4: A Case Study Dec 17 2013 Using Libvirt to Create a Private Network for Xen domUs Dec 16 2013 Creating HVM and PV domUs on Xen 4.3 / Debian 7 Dec 13 2013 Oracle 11gR2 Installation on Oracle Linux 6 Nov 27 2013 A Guide to Using SSO and LDAP with PeopleSoft Nov 26 2013 Final Configuration Tasks for a PeopleSoft CS Install Sep 10 2013 Manual Creation of a PeopleSoft CS Demo Database Sep 9 2013 Preparing a PS CS Client Workstation and/or App/Web Server Sep 2 2013 Full Flash Recovery Area on Oracle 11g Jul 28 2013 Using Oracle 11g on Amazon EC2 Jul 19 2013 Load Testing PeopleSoft Campus Solutions with Neustar