GitHub repository: metamath/lamp-guide
Primary language: HTML
Created: 2023-05-29T23:36:34Z
Description: Guide on how to use the metamath-lamp proof assistant