Search results

Are rules permitted in requires/instantiation?

Status: Open.

#137 In boyland/sasylf;

· boyland opened on Jan 18, 2026

Module instantiation errors are not located

Status: Open.

#136 In boyland/sasylf;

· boyland opened on Jan 18, 2026

Imported items in requires

Status: Open.

#135 In boyland/sasylf;

· boyland opened on Jan 18, 2026

VS code extension fails on Windows 11

Status: Open.

#129 In boyland/sasylf;

· Tathorack opened on Sep 10, 2025

Implement a Language Server Protocol or VSCode extension for SASyLF

enhancement

Status: Open.

#117 In boyland/sasylf;

· JonathanAldrich opened on Feb 3, 2023

"Unification incomplete for case" error message could be improved

Status: Open.

#116 In boyland/sasylf;

· JonathanAldrich opened on Nov 6, 2021

Allow substitutions to passed back from theorems, and to permit assignments "by definition"

enhancement

Status: Open.

#107 In boyland/sasylf;

· boyland opened on Nov 9, 2020

PROOFPATH or the like would be useful

enhancement

Status: Open.

#90 In boyland/sasylf;

· boyland opened on Oct 28, 2019