Skip to content

LE2: refactor RREF discovery to align with @davidaustinm #teamforwardsubstitution#856

Open
StevenClontz wants to merge 8 commits into
mainfrom
StevenClontz/20250819/le2-forward-backward
Open

LE2: refactor RREF discovery to align with @davidaustinm #teamforwardsubstitution#856
StevenClontz wants to merge 8 commits into
mainfrom
StevenClontz/20250819/le2-forward-backward

finish LE2 draft

b9fa6e5
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar