Skip to main content

Questions tagged [programming-languages]

A formal language (theory) for expressing programs. Used and studied in computer science. (from nLab)

1 question with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
2 votes
0 answers
65 views

Tool for typing mathematical physics, e.g. differential geometry

Many expressions in mathematical physics use a rather sloppy notation, e.g. the Lie bracket on a vector field is defined using ambiguous notation, where $X : M \rightarrow TM$ is first defined as a ...
user2361's user avatar