@hackage / liquid-finfield

Finite field utilities for LiquidHaskell (requires cvc5)

Latest0.9.12.2.1

About

Metadata

  • Last updated , by FacundoDominguez
  • License BSD-3-Clause
  • Maintained by: Ranjit Jhala <jhala@cs.ucsd.edu>

  • Lottery factor: 2

Links

Installation

Readme

Finite field utilities for LiquidHaskell (requires cvc5)