t
tirix
27 repositories
7 followers
Repositories
Select a repository to view its commits, contributors, and more.public
rumm
A tactics-based Metamath proof language
Rust
5
3
4
Updated 3 months ago
public
Emetamath
A metamath plugin for Eclipse
Java
4
0
1
Updated 3 years ago
public
metamath-blueprints
Metamath Blueprints
4
4
1
Updated 5 months ago
public
mm-web-ui
A user interface for the Metamath web pages
JavaScript
4
0
7
Updated 3 years ago
public
q0.mm
A Metamath library for the Q0 logic
4
0
0
Updated 3 years ago
public
metamath-web
Metamath web server
Rust
4
0
8
Updated a year ago
public
metamath-vspa
A Visual Studio extension and LSP server for Metamath
Rust
3
0
8
Updated 3 years ago
public
christmas24.mm
Advent of Metamath 2024
Objective-C++
2
0
0
Updated a month ago
public
set-noov.mm
A set.mm version with no overloading
Objective-C++
1
0
0
Updated 4 months ago
public
metamath-blueprints-rs
Blueprints for Metamath
Rust
0
1
0
Updated 8 months ago