Algorítmica funcional verificada
algorithms
isabelle
isabelle-hol
algorithms-datastructures
estructuras-de-datos
funcional-programming
algoritmica
programacion-funcional
-
Updated
Jun 24, 2022 - Isabelle