/* TEAM */

Author: Jonathan D.A. Jewell
Contact: jonathan.jewell@open.ac.uk
Location: United Kingdom

/* SITE */

Standards: A2ML v1.0.0 Specification
Components: Idris2 parser, ReScript GUI, proof obligations
Last update: 2026-01-30
Language: Idris2, ReScript, English

/* THANKS */

Idris2 community
ReScript community
OpenSSF for security tooling
Hypatia neurosymbolic scanning platform
