LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Lean

SafeVerify

A Lean4 script for robustly verifying submitted proofs of theorems and implementations of functions

LeanEmerging

Stars

—

Forks

—

Contributors

5

Last push

3mo ago

Recent commits

Latest commits.

fix theFalse
351241fMirek Olšák3mo ago
prevent value computation & Bool
a5452a7Mirek Olšák3mo ago
deep copy a module before doing anything with it
22fcceaMirek Olšák3mo ago
Merge pull request #13 from Paul-Lez/json-support
6fe97e2GasStationManager4mo ago
Merge pull request #12 from Paul-Lez/split-file
11a7504GasStationManager4mo ago

feat: add Json support for safe_verify ouptut

9d53158Paul Lezeau4mo ago

chore: split Main.lean into several files

5855286Paul Lezeau4mo ago

Upgrade to Lean 4.27.0

dbe482fGasStationManager4mo ago

Top contributors

Builders behind this project.

GasStationManager