GitHub - ais-climber/argyle: A suite of neural network properties that are formally verified in Lean

Name		Name	Last commit message	Last commit date
Latest commit History 199 Commits
Argyle		Argyle
.gitignore		.gitignore
Argyle.lean		Argyle.lean
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain
mwe.lean		mwe.lean
poster-spring2023.tm		poster-spring2023.tm
preference-upgrade-notes.tm		preference-upgrade-notes.tm