allofphysicsgraph

allofphysicsgraph/task-tracker

no source code here

0 stars 0 forks 0 watchers

4 Open Issues Need Help Last updated: Feb 3, 2026

Open Issues Need Help

View All on GitHub

User and developer input needed on specific tutorials/guides/references/explanations about 1 month ago

help wanted question

allofphysicsgraph/task-tracker

0

no source code here

Compare surveyed proof assistants (e.g., Coq, HOL, Lean) for proving inference rules in a given logical basis 7 months ago

enhancement help wanted

allofphysicsgraph/task-tracker

0

no source code here

validation of an inference rule using a proof assistant 7 months ago

enhancement help wanted

allofphysicsgraph/task-tracker

0

no source code here

identify physics-related visualization experts and see if they are interested in collaboration 7 months ago

enhancement help wanted

allofphysicsgraph/task-tracker

0

no source code here