-
Notifications
You must be signed in to change notification settings - Fork 60
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
- Status: Open.#277 In DeepSpec/InteractionTrees;
- Status: Open.#275 In DeepSpec/InteractionTrees;
- Status: Open.#263 In DeepSpec/InteractionTrees;
- Status: Open.#258 In DeepSpec/InteractionTrees;
- Status: Open.#254 In DeepSpec/InteractionTrees;
Make
IForest's bind associativeenhancementNew feature or requestNew feature or requestitreesParticular to theory and implementation of itreesParticular to theory and implementation of itreesStatus: Open.#240 In DeepSpec/InteractionTrees;Reduce use of classical axioms
enhancementNew feature or requestNew feature or requestquestionFurther information is requestedFurther information is requestedStatus: Open.#233 In DeepSpec/InteractionTrees;Consider adding Hint Mode for typeclasses
enhancementNew feature or requestNew feature or requestStatus: Open.#230 In DeepSpec/InteractionTrees;Use
#[export]instead of#[global]?coq-devQuestions related to best practices for Coq programmingQuestions related to best practices for Coq programmingquestionFurther information is requestedFurther information is requestedStatus: Open.#221 In DeepSpec/InteractionTrees;Build documentation using dune instead of make
coq-devQuestions related to best practices for Coq programmingQuestions related to best practices for Coq programmingStatus: Open.#201 In DeepSpec/InteractionTrees;Check axioms in CI
ciContinuous integrationContinuous integrationStatus: Open.#195 In DeepSpec/InteractionTrees;Prove (or disprove) "iter after iter" equation
questionFurther information is requestedFurther information is requestedStatus: Open.#187 In DeepSpec/InteractionTrees;