Lean 4 CI

feat: Complete Semigroup.lean formalization #6

Sign in to view logs

Triggered via push October 2, 2025 09:31

shuanat

main

Status Success

Total duration 1m 12s

Artifacts –

lean.yml

on: push