mmj2 GUI Proof Assistant for the Metamath project
GNU General Public License v2.0
72
stars
24
forks
source link
The links in the readme open up the github source view of the help file such as "Guide", not as a rendered webpage in my browser. #64
Open
enjoysmath opened 1 year ago
Chrome, Windows 10