Filters
cris logo
-
New search Filters
Select from list
Displayed from Show more
You have reached the maximum number of displayed search results.
All results displayed
No results are available for the search performed
Displayed from
You have reached the maximum number of displayed search results.
All results displayed
Loading results
Obtaining statistical data

International projects source: SICRIS

Type Theory for Data-Intensive Formalization

Edit
Researchers (1)
no. Code Name and surname Research area Role Period No. of publications
1.  15854  PhD Andrej Bauer  Mathematics  Head  2020 - 2024  0 
Organisations (1)
no. Code Research organisation City Registration number No. of publications
1.  1554  University of Ljubljana, Faculty of Mathematics and Physics  Ljubljana  1627007  6 
Abstract
TydiForm focuses on designing and implementing new techniques for formal verification of mathematics with the aim of improving the capabilities of proof assistants. In the project, we will build on the synergy between formalized mathematics and databases of mathematical structures, develop domain-specific type theories and type systems for programming languages.
Confirmation required
Views history
Favourite