kevinsullivan

Pinned Repositories

cs-dm
CS2012 UVa CS Discrete Math Spring 2018
Language:Lean15 12 2520
cs1113f16
CS1 through Type Theory
Language:HTML152
cs2120f21
Language:Dockerfile2 5 1392
cs2120f22
CS 2120 Fall 2022
Language:Lean4 3 188
cs2120f23
UVa Discrete Mathematics CS2120 Fall 2023
Language:Lean5 2 2205
cs2120f24
CS 2120 (Sullivan) F24
Language:Lean1136
cs6501s23
Formal Mathematics for Software Design
Language:HTML6 5 516
TLAPlusDocker
Language:Dockerfile9 3 033
TMDE
Language:Dockerfile2 3 04
uva-cs-dm-s19
UVa Discrete Math Spring 2019
Language:Lean8 5 11

kevinsullivan's Repositories

kevinsullivan/TLAPlusDocker
Language:Dockerfile9 3 033
kevinsullivan/cs6501s23
Formal Mathematics for Software Design
Language:HTML6 5 516
kevinsullivan/cs2120f23
UVa Discrete Mathematics CS2120 Fall 2023
Language:Lean5 2 2205
kevinsullivan/cs2120f22
CS 2120 Fall 2022
Language:Lean4 3 188
kevinsullivan/cs2120f21
Language:Dockerfile2 5 1392
kevinsullivan/TMDE
Language:Dockerfile2 3 04
kevinsullivan/cs2120f24
CS 2120 (Sullivan) F24
Language:Lean1136
kevinsullivan/moralpain_dev
VSCode + Docker container development environment for moral distress project
Language:Java1 4 759
kevinsullivan/physvm_develop
Affine physics for time and 3D geometry.
Language:Lean1 3 02
kevinsullivan/affine_lib
Language:Lean0 6 01
kevinsullivan/phys
Simple affine 1-space and various physical space clients in Lean (Lean Prover)
Language:Lean0 7 71
kevinsullivan/AffineSpace
Language:Lean1 019
kevinsullivan/bug_stories
Language:Lean3 01
kevinsullivan/cs6501s22
CS6501: Introduction to Type Theory and Applications
Language:Lean3 09
kevinsullivan/datasci-dev
Containerized Ubuntu 20.04 LTS-based image for data science engineering
Language:HTML3 02
kevinsullivan/images
Repository for pre-built dev container images published under mcr.microsoft.com/devcontainers
Language:JavaScript2 0
kevinsullivan/lean4
Lean 4 programming language and theorem prover, Sullivan fork
Language:Lean1 0
kevinsullivan/leandemo
Language:Lean
kevinsullivan/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
Language:CSS1 0
kevinsullivan/leanvm_configure
Language:Dockerfile3 0
kevinsullivan/leanvm_develop
Discrete Math Course Development
Language:Dockerfile3 03
kevinsullivan/mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
Language:HTML2 0
kevinsullivan/mathpub_config
Docker container for math publication development
Language:Dockerfile3 0
kevinsullivan/moralpain_config
Language:Dockerfile3
kevinsullivan/nick_daniel_kevin_24
2 0
kevinsullivan/pdrvm_configure
Language:Dockerfile
kevinsullivan/pdrvm_develop
Language:Dockerfile3 0
kevinsullivan/pydev
Lightweight VSCode remote container for Python development
Language:Jupyter Notebook2 02
kevinsullivan/urweb
The Ur/Web programming language
Language:Standard ML2 0
kevinsullivan/vscode-tlaplus
TLA+ language support for Visual Studio Code
Language:TypeScript2 0