Pinned Loading

1. metamath/set.mm metamath/set.mm Public

   Metamath source file for logic and set theory

   HTML 259 90

2. metamath-vspa metamath-vspa Public

   A Visual Studio extension and LSP server for Metamath

   Rust 3

3. metamath/metamath-knife metamath/metamath-knife Public

   Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.

   Rust 28 11

4. Emetamath Emetamath Public

   A metamath plugin for Eclipse

   Java 4

5. metamath-web metamath-web Public

   Metamath web server

   Rust 4

6. rumm rumm Public

   A tactics-based Metamath proof language

   Rust 5 3