Celf
From MaRDI portal
Software:34509
No author found.
Related Items (2)
Formalizing CCS and \(\pi\)-calculus in Guarded Cubical Agda ⋮ Plugging-in proof development environments usingLocksinLF
This page was built for software: Celf