LeanDojoChatGPT — Free Tool

Name: LeanDojoChatGPT
Availability: InStock
Author: lean-dojo

ChatGPT plugin for theorem proving in Lean

LeanDojoChatGPT is a free tool built by an independent developer. Find more tools like this on Ship It Forge.

Unclaimed community listing

This tool was imported from the web. If you built it, you can claim it.

tool

LeanDojoChatGPT

ChatGPT plugin for theorem proving in Lean

View on GitHub· ★ 123 URL verified by Google Safe Browsing

FROM README

ChatGPT Plugin for Theorem Proving in Lean ==========================================

Created by

chatgptchatgpt-pluginlarge-language-modelsleanlean4machine-learningtheorem-provingpython

No reviews yet. Be the first!