Idris2 Proof

MVP kernel: L2 grade algebras + L1 graded checker + anytype-specific … #3

Sign in to view logs

Triggered via push July 21, 2026 06:48

main

Status Success

Total duration 47m 57s

Artifacts –

idris2-proof.yml

on: push