Skip to content
CI build

update syntax for propositional equality #286

Sign in to view logs

update syntax for propositional equality

update syntax for propositional equality #286

This job succeeded