GitHub repository: squell/proofs
Created: 2025-01-27T11:08:48Z
Description: Formal, machine checked proofs