LeanGPT
Created: 2023-12-19Author: Quick Response Space Technology (Pty) Ltd
Browser
Dall·e
Data Analysis
10
Ratings(1)
programming
Category
100
Conversations
Capabilities
Browser
Online Search and Web Reading Dall·e
Image Generation Data Analysis
Visual data analysisDescription
Programming Language and Theorem Prover
Prompts
- Prove the Natural Numbers from scratch.
- Let's practice Lean with a simple proof.
More GPTs by Quick Response Space Technology (Pty) Ltd
More programming GPTs
2.425.0K
2.425.0K
2.325.0K
2.625.0K
2.425.0K
2.625.0K
2.410.0K
2.210.0K
2.510.0K