LEAN
Filed: October 28, 2024
Computer programs, downloadable, for implementing a computer programming language, computer software development tools,…
Owned by: Lean FRO, LLC
Serial Number: 98824547
LEAN
Filed: October 28, 2024
Education services, namely, providing classes, seminars, conferences, workshops in the field of mathematics, open source…
Owned by: Lean FRO, LLC
Serial Number: 98824552
LEAN
Filed: October 28, 2024
Providing open source functional programming language for use in mathematics, proof automation, and verified code synthesis…
Owned by: Lean FRO, LLC
Serial Number: 98824553
LEAN
Filed: October 28, 2024
Computer programs, downloadable, for implementing a computer programming language, computer software development tools,…
Owned by: Lean FRO, LLC
Serial Number: 98824556
LEAN
Filed: October 28, 2024
Education services, namely, providing classes, seminars, conferences, workshops in the field of mathematics, open source…
Owned by: Lean FRO, LLC
Serial Number: 98824560
LEAN
Filed: October 28, 2024
Providing open source functional programming language for use in mathematics, proof automation, and verified code synthesis…
Owned by: Lean FRO, LLC
Serial Number: 98824561
