Hi

19 views

Skip to first unread message

unread,

Feb 20, 2026, 4:32:18 PM (2 days ago) Feb 20

to meta...@googlegroups.com

My name is Filip Cernatescu!

I am a former contributor(4 or 5 theorems) and the author of open source metamath proof assistant called milpgame (github.com).

I say to all: Hello and have a nice day!

Reply all

Reply to author

Forward

0 new messages