Popular repositories Loading

1. metamath-lamp metamath-lamp Public

   Metamath-lamp (Lite Assistant for Metamath Proofs) is a GUI-based proof assistant for creating formal mathematical proofs in Metamath that does not require installation (just run it directly using …

   ReScript 13 5

2. expln.github.io expln.github.io Public

   HTML 1

3. rescript-utils rescript-utils Public

   ReScript

4. set.mm set.mm Public

   Forked from metamath/set.mm

   Metamath source file for logic and set theory

   HTML

5. metamath-website-seed metamath-website-seed Public

   Forked from metamath/metamath-website-seed

   Starting seed files for metamath public website. The website starts with these and then uses generation scripts to generate other files from the .mm files

   HTML

6. lamp-guide lamp-guide Public

   Forked from metamath/lamp-guide

   Guide on how to use the matamath-lamp proof assistant

   HTML