ruc-ai4math
Pinned Loading
Repositories
Showing 6 of 6 repositories
- LeanStateSearch Public
ruc-ai4math/LeanStateSearch’s past year of commit activity - Premise-Retrieval Public
ruc-ai4math/Premise-Retrieval’s past year of commit activity - LeanDojo Public Forked from lean-dojo/LeanDojo
Tool for data extraction and interacting with Lean programmatically.
ruc-ai4math/LeanDojo’s past year of commit activity - 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.
ruc-ai4math/zulip-archive’s past year of commit activity - leanblueprint Public Forked from PatrickMassot/leanblueprint
plasTeX plugin to build formalization blueprints.
ruc-ai4math/leanblueprint’s past year of commit activity
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…