Space: lzumot/lean-prover-validator
title: Lean Prover Validator
sdk: docker
license: cc-by-4.0
short_description: generate a proof then test it with lean4 
Tags: docker, region:us