pi-autocontext-lean-verify

greyhaven-ai
deprecated
pi-autocontext-lean-verify JS library on GitHub pi-autocontext-lean-verify JS library on npm Download pi-autocontext-lean-verify JS library

Experimental Pi package for Lean-verified proof repair using autocontext and Pi.

Version 0.1.19 License Apache-2.0
pi-autocontext-lean-verify has no homepage
pi-autocontext-lean-verify JS library on GitHub
pi-autocontext-lean-verify JS library on npm
Download pi-autocontext-lean-verify JS library
Keywords
pi-packagepi-extensionautocontextleanformal-methodsproof-repair
INSTALL
Version:
Learn more
Readme Files Statistics Browse CDN