Skip to content
CI build

update syntax for propositional equality (#205) #287

Sign in to view logs

update syntax for propositional equality (#205)

update syntax for propositional equality (#205) #287

This job succeeded