 Logical Intelligence Inc. (source code)

by Ciro Santilli (@cirosantilli, 37)

= Logical Intelligence Inc.
{c}

Not much info available about them outside of <Twitter>:
* https://www.logicalintelligence.com
* https://x.com/logic_int
They use <Lean>.

 Back to article page