many-sorted-model-theory0.1.0
A lean repository for building many-sorted logic, with a view towards model theory of valued fields
1-4 of 4 versions of many-sorted-model-theory
Sort by
Date
- 0.1
0.1.0v4.30.0-rc2 - 0.1
0.1.0v4.30.0-rc2v4.30.0-rc2 - 0.1
0.1.0v4.29.0v4.29.0 - 0.1
0.1.0v4.26.0-rc2v4.26.0-rc2