Sign in
Manchester
Natalia Ślusarz
Intermediate
@ndslusarz
1 Projects
formal_LDL.
Rocq Prover
★
7
0
views
1
project
Apply
