7 citations · 58 across the 20 of their papers we have counts for
1 paper · 2 filters
Florian Rabe
LF has been designed and successfully used as a meta-logical framework to represent and reason about object logics. Here we design a representation of the Isabelle logical framewor…