Snapkitty
/

hyperkitty-constraint-dsl

Model card Files Files and versions

hyperkitty-constraint-dsl / lean /hyperkitty-extra /ConstraintDSLValidator.lean

Commit History

push from SNAPKITTYWEST/hyperkitty-constraint-dsl

224e773
verified

SNAPKITTYWEST commited on 5 days ago