Stop learning alone!

Learn faster and stay on-track by joining this free class with other self-learners.

Register for Coq theorem prover now.

Coq theorem prover

Class length: 1 weeks. Start anytime.

Creator: Blasa

Status: Under Construction

 Join this class!

Members (19)

 Lelofollacery
Joined 4 months ago

atmotunmath
Joined 7 months ago

amoumnita
Joined 8 months ago

Numedgere
Joined 8 months ago

soummaaidexia
Joined 9 months ago

Assittery
Joined 9 months ago

Pontorez
Joined 10 months ago

AgregatorB
Joined 10 months ago

Fonkilzaridos
Joined 11 months ago

atmomyShogy
Joined 11 months ago

SheepeCak
Joined 11 months ago

Rownneatwah
Joined 1 year ago

bairagi
Joined 1 year ago

properphar
Joined 1 year ago

edmccaffrey
Joined 1 year ago

paulgb
Joined 2 years ago

lando
Joined 2 years ago

Concept looks interesting. Not up on my Calculus so I might need a hand.
jrp
Joined 2 years ago

Eventually want to create a simple (formal) language for stating theorems and proofs in elementary real analysis.
Blasa
Class Creator
Joined 2 years ago