Javier Díaz's repositories
Finite_Map_Extras
Useful syntactic sugar, new operators and functions, and their associated lemmas for finite maps which currently are not present in the standard `Finite_Map` theory.
q0-metatheory
An Isabelle/HOL formalization of the metatheory of 𝓠₀
Language:Isabelle000
Language:ScalaMIT000