Search results

Redundant file

Status: Open.

#41 In Deducteam/Logipedia;

· amelieled opened on Feb 22, 2022

Dune langage version and menhir version incompatible

Status: Open.

#38 In Deducteam/Logipedia;

· fblanqui opened on Jan 21, 2022

def_beta_conv.ml

Status: Open.

#30 In Deducteam/Logipedia;

· francoisthire opened on Jan 29, 2020

CSS is missing

Status: Open.

#29 In Deducteam/Logipedia;

· francoisthire opened on Jan 29, 2020

Missing open brace for subscript

Status: Open.

#28 In Deducteam/Logipedia;

· 01mf02 opened on Jan 28, 2020

Printing issue on the Web site

Status: Open.

#17 In Deducteam/Logipedia;

· GuillaumeGen opened on Oct 24, 2019

Pretty printer

enhancementNew feature or requestNew feature or request

Status: Open.

#14 In Deducteam/Logipedia;

· gabrielhdt opened on Oct 17, 2019