ruc-ai4math
Pinned Loading
Repositories
Showing 6 of 6 repositories
- LeanStateSearch Public
- Premise-Retrieval Public
- LeanDojo Public Forked from lean-dojo/LeanDojo
Tool for data extraction and interacting with Lean programmatically.
- zulip-archive Public Forked from eric-wieser/zulip-archive
Generate a static HTML archive of messages in any combination of streams in a Zulip organization.
- leanblueprint Public Forked from PatrickMassot/leanblueprint
plasTeX plugin to build formalization blueprints.
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…