2a2722409c87d51ac43817238271ce8d88d1ccb2
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%