Working through Set Theory, Logic, Algebra, and more to underestand constraints and relationships in formal mathematics for use cases in modeling and engineering.
ssingh92-ops/Lean4-With-Symbolic-Math
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|