Jose Balado issues

Repositories
Issues
Comments

Results 2 issues of


                                            Jose Balado

semantics of first order logic: typo

Substitute 'transitive' for 'trainsitive'.

Error when importing Vorspiel

Adding Foundation to an existing application fails with the following error message: `import Foundation.Vorspiel.Vorspiel failed, environment already contains 'Matrix.map.eq_1' from Mathlib.LinearAlgebra.Matrix.BaseChange ` Environment: Linux Mint: 5.4.0-216-generic 'lakefile.tom' file: > name...