Search results

Change IsabelleResponse.response_type's type from string to Enum

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#69 In inpefess/isabelle-client;

· inpefess opened on Oct 24, 2023

1



Add an example of using Isabelle together with Sagemath

enhancementNew feature or requestNew feature or request

Status: Open.

#52 In inpefess/isabelle-client;

· inpefess opened on Sep 27, 2022

Add a fully incapsulated Isabelle code executor

enhancementNew feature or requestNew feature or request

Status: Open.

#51 In inpefess/isabelle-client;

· inpefess opened on Sep 27, 2022

Add a tap mode to commands

enhancementNew feature or requestNew feature or request

Status: Open.

#25 In inpefess/isabelle-client;

· inpefess opened on Mar 15, 2021