Pinned Loading
Repositories
Showing 10 of 506 repositories
- oxcaml-playground Public Forked from bmorphism/oxcaml-playground
OxCaml playground (for use with Codespaces)
- paper-worlds Public Forked from Future-House/paper-qa
High accuracy RAG for answering questions from scientific documents with citations
- underestimates Public Forked from teorth/estimates
code that illustrates the halting problem by attacking code to automatically prove or verify estimates in analysis
- formal-conjectures Public Forked from google-deepmind/formal-conjectures
A collection of formalized statements of conjectures in Lean.
Top languages
Loading…
Most used topics
Loading…