GitHub repository: nbrader/proofs-coq-util-lib
Primary language: Coq
Created: 2024-10-12T15:06:35Z
Description: A place for me to store often useful lemmas