allofphysicsgraph

allofphysicsgraph/task-tracker

no source code here

4 good first / help-wanted issues · last activity Feb 3, 2026

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 4 months 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 9 months ago

enhancement help wanted

allofphysicsgraph/task-tracker

0

no source code here

validation of an inference rule using a proof assistant 9 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 9 months ago

enhancement help wanted

allofphysicsgraph/task-tracker

0

no source code here