1 paper · 1 filter
Jonathan Chan
Many proof assistants allow the use of features and axioms that increase their expressive power. However, these extensions must be used with care, as some combinations are known to…