GitHub repository: libtx/SLOT
Primary language: Coq
Created: 2021-11-01T14:27:35Z
Description: THIS IS A WORK OF FICTION AND NOT a formally verified model checker