Search results

use L'Hopital's rule from MathComp 1.9.0

Status: Open.

#31 In ndslusarz/formal_LDL;

· affeldt-aist opened on Feb 19, 2025

Rename <code>translation</code> to <code>fuzzy_translation</code>

Status: Open.

#26 In ndslusarz/formal_LDL;

· hoheinzollern opened on Mar 20, 2024

Add useful notation

Status: Open.

#25 In ndslusarz/formal_LDL;

· hoheinzollern opened on Mar 20, 2024

Better disjunction for DL2

Status: Open.

#24 In ndslusarz/formal_LDL;

· hoheinzollern opened on Mar 18, 2024

Geometric properties

Status: Open.

#23 In ndslusarz/formal_LDL;

· hoheinzollern opened on Mar 18, 2024

Define an interface for T-norms

Status: Open.

#11 In ndslusarz/formal_LDL;

· hoheinzollern opened on Sep 23, 2023