LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Lean

mm0

Metamath Zero specification language

LeanEmerging

Stars

396

Forks

54

Contributors

8

Last push

3mo ago

Recent commits

Latest commits.

nonlinear patterns
6d5f0d4Mario Carneiro6mo ago
validate predefs
3ae8bf2Mario Carneiro6mo ago
restore ok_exit
3572121Mario Carneiro6mo ago
compiler proof work: incremental initialization
03262dfMario Carneiro6mo ago
partial revert "don't upload on cache hit"
d0b5ce8Mario Carneiro6mo ago

don't upload on cache hit

dc5b0e9Mario Carneiro6mo ago

first tests for (mm0 parser, mmu parser, mm0+mmu proof checker) (#79)

d3d680dOlivier Binda6mo ago

use test_each_file to generate tests

a4249b7Mario Carneiro6mo ago

Top contributors

Builders behind this project.

dependabot[bot]