mikeshulman/basictex mikeshulman/basictex

  • Stars
    star
    9
  • Rank 1,940,959 (Top 39 %)
  • Language
    TeX
  • Created about 12 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mikeshulman/basictex
github

mikeshulman

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

My basic LaTeX macros and BibTeX file.

More Repositories

1

narya

A proof assistant for higher-dimensional type theory
OCaml
135
star
2

catlog

Categorical logic from a categorical point of view
TeX
72
star
3

ohtt

H.O.T.T. using rewriting in Agda
Agda
37
star
4

cohesivett

Cohesive type theory
TeX
18
star
5

dirtt

Directed type theory for formal category theory
TeX
16
star
6

hott-categories

Categories and the Rezk completion formalized in HoTT
TeX
5
star
7

agda-infinity-categories

Infinity categories in agda
Agda
4
star
8

ddcalc

Notes on calculus
TeX
3
star
9

math494

Lean
2
star
10

syntop

Constructive topology
TeX
2
star