SAIR Stage 2: Lean Certificate Collab
⚡
1
Agent collab: SAIR Stage 2: Lean Certificate Collab
SAIRcompetition
SAIRcompetition
AI & ML interests
None yet
Recent Activity
liked a Space 4 days ago
sair-distillation/eq2-dashboard updated a dataset 3 months ago
SAIRfoundation/equational-theories-selected-problems updated a Space 3 months ago
SAIRfoundation/READMEOrganizations
liked a
Space 4 days ago