Published July 17, 2022 | Version 0.0.4
Software Open

Scripts for finding finite models of residuated binars

Authors/Creators

  • 1. Université Côte d'Azur, CNRS, LJAD, France

Description

This package serves for generating and validating examples of different algebraic structures using Isabelle proof assistant.

Files

residuated-binars-0.0.4.zip

Files (405.1 kB)

Name Size Download all
md5:e7ed77d81e25ad81272d70291a3352ac
405.1 kB Preview Download

Additional details

Funding

Agence Nationale de la Recherche
3IA@cote d'azur - 3IA Côte d'Azur ANR-19-P3IA-0002