Giters
glacode

glacode

Geek Repo

2

followers

0

following

3

stars

Github PK Tool:Github PK Tool

glacode's repositories

yamma

VSCode extension for Metamath

Language:TypeScriptStargazers:10Issues:1Issues:11

aitest

My personal playground to test AI

Language:PythonStargazers:0Issues:1Issues:0

example

a test repository

Stargazers:0Issues:1Issues:0

set.mm

Metamath source file for logic and set theory

Language:HTMLLicense:CC0-1.0Stargazers:0Issues:0Issues:0

smm

sorear's Metamath system engine

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0