Published June 2, 2021 | Version 1
Software Open

A Formalisation of Approximation Fixpoint Theory

Authors/Creators

  • 1. Vrije Universiteit Brussel (VUB), Dept.\ Computer Science
  • 2. Univ.\ Southern Denmark, Dept.\ Mathematics and Computer Science

Description

A formalisation of approximation fixpoint theory in the theorem prover Coq.

Files

Files (100.8 kB)

Name Size
md5:6fee03af8158d2c371ba1678e8abd40e
15.2 kB Download
md5:27008282798fd9d4616b5237d0082990
35.0 kB Download
md5:cdf134551512a701ba307309cba44db8
5.6 kB Download
md5:6a7161be9cdf0c8e84917f13c6f45664
45.0 kB Download