huynhtrankhanh / humanlike-coq

coq but acts more human. hopefully mobile friendly 👀

Geek Repo

Github PK Tool