search

aya-prover / aya-dev

A proof assistant and a dependently-typed language
https://www.aya-prover.org
MIT License
281 stars 16 forks source link

Some error report issues reported by Utensil Song #1120

Closed ice1000 closed 5 months ago

ice1000 commented 5 months ago

Thanks to @utensil and @HoshinoTented !

ice1000 commented 5 months ago

Why is jacoco not moving?