Giters

appliedfm / vstyle-tools

A formatter/linter for Coq source

Home Page:https://vstyle.readthedocs.io

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Lint: intuition with no argument given

intoverflow opened this issue · comments

commented

See the docs for intuition. Often, intuition idtac will work.