Pinned Loading
Repositories
Showing 10 of 597 repositories
-
- formal-conjectures Public Forked from google-deepmind/formal-conjectures
A collection of formalized statements of conjectures in Lean.
- infinity-cosmos Public Forked from emilyriehl/infinity-cosmos
A blueprint for a formalization of infinity-cosmos theory in Lean.
- immobile-mcp Public Forked from mobile-next/mobile-mcp
Model Context Protocol Server for Mobile Automation and Scraping (iOS, Android, Emulators, Simulators and Real Devices)
Most used topics
Loading…