carstenschuermann

carstenschuermann's Stars

• crypto-agda/crypto-agda

  Cryptographic Constructions in the Type Theory of Agda

  Language:Agda525

• carstenschuermann/celf

  The Celf implementation of CLF

  Language:Standard ML21