Robuta

https://hackage-content.haskell.org/package/equational-reasoning equational-reasoning: Proof assistant for Haskell using DataKinds & PolyKinds equational reasoning proof assistant haskell using https://experts.arizona.edu/en/publications/equational-reasoning-on-x86-assembly-code/ Equational reasoning on x86 assembly code - University of Arizona university of arizona equational reasoning assembly code https://research.vu.nl/en/publications/a-coinductive-framework-for-infinitary-rewriting-and-equational-r/ A coinductive framework for infinitary rewriting and equational reasoning - Vrije Universiteit... equational reasoning vrije universiteit coinductive framework rewriting