4bd4f16633b2bb6cd43c80aced7b7c3ff63d380f
Description
Porting of juxt/allium to Pi.dev. For those who want to be in the intersection of short cycle iterative development (XP) and grounding in formal verification.
365 KiB
Languages
Shell
100%