Repository navigation

Proof Gate

Add EXPLAINME document detailing Typell features #14

Sign in to view logs

Triggered via pull request August 17, 2026 15:03

opened #46

hyperpolymath-patch-2

Status Success

Total duration 38s

Artifacts –

proof-gate.yml

on: pull_request

idris2 --check (ABI proof modules)