Skip to content
CI build

update syntax for propositional equality #284

Sign in to view logs

update syntax for propositional equality

update syntax for propositional equality #284

This job failed