Meta Theory
metatheory.gg
As featured in
Claim pageClaim
Follow
Overview
News
Salaries
Products
People
Growth
Offices
Financials
Funding and backers
Backers
2
Interplay, Andreessen Horowitz
Momentum
0/100
no fresh signals
Last sign of life
this month
a posting or a news item
Backed byfrom the funds' portfolios and accelerator catalogs
Interplay 
Andreessen Horowitz Investors in similar startupsfunds that back the companies most like this one
Similar startupsby what they do, their industry and backers
Hello. We are proud to provide services to the NHS and beyond.
Say hello to the new way of driving! We at carching want to make driving more rewarding. Start turning your KM into RM!
Say hello to Monoscope. An AI Planning and Analytics Platform where teams and agents can strategise, act, track and adapt. A visual…
Building intelligent systems and crafting experiences that revolutionise interactive storytelling. Enabling characters that listen, react…
The college experience for entrepreneurs & builders live and work with other's just like you.
Dolphin is a project dedicated to pushing the boundaries of AI model development and distributed inference.
Overview
Products Say hello We are a studio of builders, obsessed with crafting experiences that defy the mundane Metatheory pushes the boundaries of what's possible. We're builders, dreamers, and doers.
News
Verifying Move Borrow Checker in Lean: an Experiment in AI-Assisted PL Metatheory
I formalised and proved the correctness of Move's new borrow checker in Lean: 39,000 lines of mechanised metatheory, produced in under a month with the help ...
Read more
Report
Metatheory in social science : pluralisms and subjectivities / edited by Donald W. Fiske and Richard A. Shweder
Read more
Report
Web3 Gaming Company Metatheory Raises $24 Million With Backing From A16z, Pantera, and FTX
Metatheory, a Web3 gaming company founded in 2021, has announced it has raised $24 million in a Series A funding round led by a16z.
Read more
Report
Show more news