Ben

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/

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.

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?

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"],...

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/

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....

compare {mathematica, SymPy, SAGE} as CAS for checking relations

3

https://www.sagemath.org/

double-clicking on the Submit button when entering a new derivation creates two derivations

1

how to disable a button after the first click event? The page should ignore second and third clicks of a button

for production website, send email alerts for certain events

1

https://blog.miguelgrinberg.com/post/the-flask-mega-tutorial-part-vii-error-handling https://blog.miguelgrinberg.com/post/the-flask-mega-tutorial-part-x-email-support

https://hackeregg.github.io/2020/06/03/Speeding-up-function-calls-with-just-one-line-in-Python.html https://news.ycombinator.com/item?id=23668914