New user here, looking forward

New user here, looking forward - Community & Forums Related Discussions

Users browsing this thread: 4 Guest(s)

	pranomostro Offline \| 30-05-2016, 05:48 PM \| #3

(30-05-2016, 01:22 PM)z3bra Wrote: FIrst!

Prove it.
I see that your post is the second one in this thread.

-----

Only formal verifications in Coq, Agda or Idris will be accepted.

And of course, geekodour (nice name), welcome.

Messages In This Thread

New user here, looking forward - by geekodour - 30-05-2016, 12:28 PM

RE: New user here, looking forward - by z3bra - 30-05-2016, 01:22 PM

RE: New user here, looking forward - by pranomostro - 30-05-2016, 05:48 PM

RE: New user here, looking forward - by t60 - 30-05-2016, 09:25 PM

RE: New user here, looking forward - by xero - 31-05-2016, 12:14 PM

RE: New user here, looking forward - by venam - 31-05-2016, 02:38 PM

RE: New user here, looking forward - by Wildefyr - 03-06-2016, 12:57 PM

RE: New user here, looking forward - by z3bra - 04-06-2016, 05:21 AM

RE: New user here, looking forward - by pranomostro - 04-06-2016, 08:29 AM

RE: New user here, looking forward - by ox! - 04-06-2016, 10:37 PM

RE: New user here, looking forward - by venam - 05-06-2016, 04:41 AM

RE: New user here, looking forward - by ox! - 05-06-2016, 06:28 AM

View a Printable Version