search

typedb / typedb-driver

TypeDB Drivers for Rust, Python, Java, Node.js, C, C++, and C#.
https://typedb.com
Apache License 2.0
38 stars 32 forks source link

Language Driver Request for LEAN4 #671

Open mudathirmahgoub opened 4 months ago

mudathirmahgoub commented 4 months ago

LEAN4 is both an interactive theorem prover and a programming language. It feels natural to have a LEAN driver for TypeDB.