issues
search
Formal-Systems-Laboratory
/
matching-logic-mm0
Formalisation of Matching Logic in Metamath 0
BSD 3-Clause "New" or "Revised" License
0
stars
1
forks
source link
Theory separation
#29
Open
MirceaS
opened
2 months ago