lean4-logic icon indicating copy to clipboard operation
lean4-logic copied to clipboard
verified publisher icon iehality

"Satisfiable" is misspelled in `consistent_of_satidfiable`

Open mattdiamond opened this issue 1 month ago • 0 comments

https://github.com/FormalizedFormalLogic/Foundation/blob/215d16667c7410841d80c5f363a4b69d8b410a7d/Foundation/FirstOrder/Basic/Soundness.lean#L87

mattdiamond avatar Nov 15 '25 20:11 mattdiamond