Search results

Sequence logic and induction examples

Status: Open.

#26 In kovzol/aris;

· casanovac opened on Feb 27, 2025

TLE file is saved incorrectly, after fixing it, it loads in the web version, but when verifying the proof, Aris hangs

Status: Open.

#25 In kovzol/aris;

· kovzol opened on Nov 12, 2024

File content is not verified before loading

Status: Open.

#24 In kovzol/aris;

· sucksome opened on Feb 23, 2024

Suggestion for Improvement

enhancementNew feature or requestNew feature or request

Status: Open.

#23 In kovzol/aris;

· Susanna-lehner opened on Dec 9, 2023

Error message: The saved file cannot be reopened.

enhancementNew feature or requestNew feature or request

Status: Open.

#22 In kovzol/aris;

· kuenst opened on Nov 28, 2023

Vorschlag: Exaktifizierung des Errors

enhancementNew feature or requestNew feature or request

Status: Open.

#21 In kovzol/aris;

· lenaflz opened on Nov 27, 2023

Fehlermeldung: Rahmenfärbung bleibt erhalten

questionFurther information is requestedFurther information is requested

Status: Open.

#20 In kovzol/aris;

· lenaflz opened on Nov 27, 2023

One wish would be to have a German translation in this program

enhancementNew feature or requestNew feature or request

Status: Open.

#19 In kovzol/aris;

· ddeixler opened on Nov 24, 2023

Create a Mac bundle

Status: Open.

#3 In kovzol/aris;

· kovzol opened on Nov 24, 2022