Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

Proofs class

See original GitHub issue

A proofs class that mints proofs as a more “standard” JSON format, with a version and a JSON schema to validate them is a pretty good idea

Issue Analytics

State:
Created 5 years ago
Comments:7 (4 by maintainers)

Top GitHub Comments

1reaction

daviddahlcommented, Oct 27, 2018

fixed in #26

1reaction

tyleryasakacommented, Oct 25, 2018

Sounds good! Taking a look now.

I actually think it’s fine not to worry too much about the proof format for now, in the early stages. Proof of concept that gets something minimal implemented should be fine. But that’s just me.

Top Results From Across the Web

Introduction to Proofs - IAP 2015 - MIT Mathematics

An introduction to writing mathematical proofs, including discussion of mathematical ... To register: pre-register on WebSIS and attend first class.

How to survive a proof-based math class - Cambridge Coaching

Although most higher-level college math and computer science courses rely heavily on proofs, there aren't many courses that really prepare students before they' ......

Proof-Based Courses - Princeton Math

Schedule & Organization: These courses typically meet twice a week for 80-minute ... Students learn to construct formal proofs and counter-examples.

The value of "Introduction to Proofs" and "Introduction ... - Reddit

The proofs course started off with truth tables, induction, and basic set theory, but soon it just turned into an intro to analysis...

An Introduction to Reading and Writing Proofs

... and how do people discover or create these proofs? In this course, we see how proofs are build from the basic tools...