feat: groupoidal grothendieck classified by pointed groupoids (#36) · sinhp/groupoid_model_in_lean4@e203316

Triggered via push February 5, 2025 20:36

Vtec234

master

Status Success

Total duration 11m 44s

Artifacts 1

blueprint.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	41.2 MB