Pinned Loading

1. adt-verification-dafny adt-verification-dafny Public

   Library of formally verified abstract data types in Dafny.

   Dafny 5

2. theory-of-computation theory-of-computation Public

   Formalization of Automata Theory and Complexity Theory in Cubical Agda

   Agda 2

3. tuentichallenge8 tuentichallenge8 Public

   My participation on tuenti challenge 8 (I was 71st :D)

   C++

4. recorrelaberintos recorrelaberintos Public

   Encuentra la solución a un laberinto

   Rust 1