Set 'Help'-tactic to use default automation system. - Githubissues

impermeable / coq-waterproof

GNU Lesser General Public License v3.0

29 stars 9 forks source link

Set 'Help'-tactic to use default automation system. #36

Closed jellooo038 closed 8 months ago