GitHub · Where software is built

8000 GitHub · Where software is built

More Web Proxy on the site http://driver.im/

Labels Milestones New issue

Wolfram Physics

#52

· abstractalgo opened

on Apr 18, 2025

Examine and add notations from https://birdtracks.edu

#51

· prathyvsh opened

on Apr 23, 2022

Examine Institute of Diagram Studies Curation

#50

· prathyvsh opened

on Dec 9, 2020

Judea Pearl’s diagrams

#49

· prathyvsh opened

on Nov 9, 2020

Geometry of Interaction

#48

· prathyvsh opened

on Nov 4, 2020

A Brief History of the Notation of Boole’s Algebra

#47

· prathyvsh opened

on Nov 2, 2020

Two Extensions of the Use of Graphs in Elementary Logic: Neat work by William E. Hocking from 1909

#46

· prathyvsh opened

on Oct 30, 2020

Sheet diagrams for bimonoidal categories

#45

· prathyvsh opened

on Oct 27, 2020

Paper exploring string diagrams and automata

#44

· prathyvsh opened

on Oct 24, 2020

Investigate visual logic of Leibniz

#43

· prathyvsh opened

on Oct 21, 2020

Investigate the work of Juan Luis Vives

#42

· prathyvsh opened

on Oct 21, 2020

Investigate the idea of loci and topical logic by Boethius and subsequent development by Abelard

#41

· prathyvsh opened

on Oct 21, 2020

0