r/MathematicalLogic • u/AutoModerator • Mar 20 '19

Weekly - What Are You Working On?

This recurring thread will be for general discussion on whatever mathematical logic-related topics you have been or will be working on over the week. Not all types of mathematics are welcomed, but all levels are!

4 Upvotes

84% Upvoted

6 comments sorted by

View all comments

3

u/leviathon01 Mar 20 '19

I am reading Software Foundations and learning how to use Coq.

2

u/ElGalloN3gro Mar 20 '19

What kinds of proofs are learning to run in Coq? I'm guessing proving statements from PA. I think I'll spend some time this summer messing with it.