Block or report user

Report or block milpgame

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse
  • Romania, Ramnicu Valcea

Popular repositories

  1. milpgame

    Java proof assistant and checker for Metamath language

    Java 1

11 contributions in 2017

Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Mon Wed Fri

Contribution activity

December 2017

Created their first repository

Filip Cernatescu created their first repository!

First repository

milpgame

Joined GitHub

Seeing something unexpected? Take a look at the GitHub profile guide.