All issues

Search results

checkers fails to backtrack to correct branch

Status: Open.

#12 In proofcert/checkers;

· shaolintl opened on Apr 4, 2017

Cleaning the implementation

Status: Open.

#11 In proofcert/checkers;

· shaolintl opened on Jan 19, 2017

separate tree structure from modal information

Status: Open.

#10 In proofcert/checkers;

· shaolintl opened on Jan 19, 2017

·  

version 0.1

replace Teyjus with ELPI

Status: Open.

#9 In proofcert/checkers;

· shaolintl opened on Jan 19, 2017

Proof certificate can contains variables instead of concrete values

Status: Open.

#8 In proofcert/checkers;

· shaolintl opened on Jan 19, 2017

Abstract data between layers

Status: Open.

#7 In proofcert/checkers;

· shaolintl opened on Jan 19, 2017

LMF* Specification

Status: Open.

#3 In proofcert/checkers;

· shaolintl opened on Oct 10, 2016

prover.sh param1 failure

Status: Open.

#1 In proofcert/checkers;

· robblanco opened on Jan 19, 2016