Informal provability in mathematics as a partial notion

Start - End 
2014 - 2018 (ongoing)
Type 

Tabgroup