gitaskhub

reflective tower with verified conservative extensions (a simplification of lean-sage)

Language · Lean
Ask anything about this repo to start.

By chatting or signing in you agree to the Terms and chat-message logging (revocable in History).