Skip to content

Formal specification: VotingAbstract for variants of Leios (#80) #384

Formal specification: VotingAbstract for variants of Leios (#80)

Formal specification: VotingAbstract for variants of Leios (#80) #384

Build Haskell packages with GHC 9.8 on ubuntu-22.04

succeeded Nov 21, 2024 in 1m 55s