Published September 28, 2022 | Version 1.2
Software Open

On Coevaluation Behavior and Equivalence: the Coq Development

Creators

  • 1. Universidad Nacional Autónoma de México

Description

Accompanying code of the article "On Coevaluation Behavior and Equivalence" by Angel Zúñiga and Gemma Bel-Enguix.

Files

Files (4.6 kB)

Name Size Download all
md5:18469e28aee9d762724660b80ccf2d1b
4.6 kB Download

Additional details

Related works

Is supplement to
Journal article: 10.3390/math10203800 (DOI)