proofofconcept

proofofconcept copied to clipboard

break down the notation of "much greater than" automatically

1

For example, "a + b = c" is replaced by "a = c" under the condition "b >" provided in this StackOverflow answer, so there is some deeper meaning to...

bhpayne

Currently videos are hosted on YouTube If the channel is terminated the videos would not work. Self-hosting would be a back-up option https://www.lifewire.com/how-to-use-html-5-to-display-video-in-modern-browsers-3469944

bhpayne

What topics need to be documented in tutorials/guides/references/explanations? - Tutorials: Lessons that take the reader by the hand through a series of steps to complete a projects (or meaningful exercise)....

bhpayne

improve docstrings

1

https://www.python.org/dev/peps/pep-0257/#multi-line-docstrings https://google.github.io/styleguide/pyguide.html#s3.8-comments-and-docstrings

bhpayne

derivation: maximum speed for asteroid orbiting the sun to impact earth

1

https://www.reddit.com/r/askscience/comments/gj1zup/i_saw_an_asteroid_impact_calculator_and_it_said/

bhpayne

I found demos of the EquationMap interface - https://www.youtube.com/user/EquationMap That GUI capability would be easier than the current webform and more intuitive.

bhpayne

write a guide to the current codebase as it is

1

If developers read the Python code, how should they structure their review of the content?

bhpayne

Advice from @pqnelson: code like (https://github.com/allofphysicsgraph/proofofconcept/blob/gh-pages/v7_pickle_web_interface/flask/validate_steps_sympy.py#L130-L402) could be refactored using some data-driven design, using something like a dictionary `inference_rules` so you could do something like ``` rule = inference_rules.get(step_dict["inf rule"],...

bhpayne

This would be after addressing #199 https://en.wikipedia.org/wiki/Coq https://hol-theorem-prover.org/ http://www.cl.cam.ac.uk/~jrh13/hol-light/tutorial.pdf https://github.com/jrh13/hol-light HOL light Docker image posted to https://hub.docker.com/r/lcdoutlet/hol-light/ An OCaml-only image using Alpine: https://hub.docker.com/r/benislocated/ocaml/

bhpayne

The inference rule "add x to both sides of an expression" is used in many different derivations, but the proof of that inference rule only needs to be implemented once....

bhpayne