sorear

icon location United States

Results 3 repositories owned by sorear

metamath-turing-machines

79
Stars
8
Forks
Watchers

metamath proof enumerators and other things

verified publisher icon sorear

niecza

151
Stars
15
Forks
Watchers

A Perl 6 compiler targetting the CLR with an experimental focus on optimizations.

verified publisher icon sorear

smetamath-rs

22
Stars
5
Forks
Watchers

sorear's Metamath system engine - version 3 Rust

verified publisher icon sorear