Stop learning alone!

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

Coq theorem prover

Class length: 1 weeks. Start anytime.

Creator: Blasa

Status: Under Construction

Join this class!


	Cliguenoini Joined 1 day ago
	Lelofollacery Joined 3 weeks ago
	atmotunmath Joined 3 months ago
	amoumnita Joined 4 months ago
	Numedgere Joined 5 months ago
	soummaaidexia Joined 5 months ago
	Assittery Joined 5 months ago
	Pontorez Joined 6 months ago
	AgregatorB Joined 7 months ago
	Fonkilzaridos Joined 7 months ago
	atmomyShogy Joined 7 months ago
	SheepeCak Joined 7 months ago
	Rownneatwah Joined 9 months ago
	bairagi Joined 9 months ago
	properphar Joined 10 months ago
	edmccaffrey Joined 1 year ago
	paulgb Joined 1 year ago
	lando Joined 1 year ago	Concept looks interesting. Not up on my Calculus so I might need a hand.
	jrp Joined 1 year ago	Eventually want to create a simple (formal) language for stating theorems and proofs in elementary real analysis.
	Blasa Class Creator Joined 1 year ago

Page 1 of 1.