heiltala
heiltala › heilt
Provenance
- #15 primitive-types concept_map 2026-06-24 maps vhdl/integer → concept integer
- #28 sealion-refinement concept_map 2026-07-19 maps vhdl/integer → concept integer winning layer
Concept integer
Brain 1.1.0-alpha.13 · Open in explorer → · Discuss on the NADA forum →