Iniciar sesiónLanza tu app
metamath package icon
liftm/metamath

wasi

Public
wasmer run liftm/metamath

h1-0

p-0

h2-0

p-1

p-2

pre-0

p-3

A tiny language and checker for theorems and proofs in abstract mathematics

Github