Skip to content

Port Coq code to use 'done' tactic instead of 'easy' and benchmark #62

Port Coq code to use 'done' tactic instead of 'easy' and benchmark

Port Coq code to use 'done' tactic instead of 'easy' and benchmark #62

Annotations

1 error and 4 warnings

This job failed