GitHub repository: k32/libtx
Primary language: Coq
Description: Collection of formal proofs related to distributed database design. WIP