williamdemeo/LEAN_wjd williamdemeo/LEAN_wjd

  • Stars
    star
    2
  • Language Lean
  • Created over 7 years ago
  • Updated about 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
williamdemeo/LEAN_wjd
github

williamdemeo

Reviews

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

Repository Details

Notes from my experience learning the Lean Theorem Prover

More Repositories

1

TypeFunc

Resources for type theory, functional programming, etc.
221
star
2

Math165-Spring2015

TeX
8
star
3

ds644-spring2023

DS644: Introduction to Big Data at NJIT
TeX
7
star
4

agda-fresh

basics
Agda
5
star
5

math215-spring2017

Math 215: Applied Calculus I, Spring 2017, UH Manoa
TeX
5
star
6

Math700Homework

Math 700: Linear Algebra -- USC Sp 2014
TeX
4
star
7

Math160-Fall2015

Math 160: Survey of Calculus -- Fall 2015, Iowa State University
TeX
3
star
8

lamb-calc-vars

Research on Applying Universal Algebra to Lambda Calculus
TeX
3
star
9

CIB-Scala

Scala code for finite idempotent algebras research
Scala
3
star
10

cs370-spring2022

Introduction to Artificial Intelligence at NJIT
TeX
3
star
11

math3140-fall2018

Abstract Algebra, Fall 2018, University of Colorado, Boulder
TeX
3
star
12

cs370-fall2022

CS 370 (Sec 103). Introduction to Artificial Intelligence. Fall 2022. NJIT.
3
star
13

Math700Spring2014

Math 700: Linear Algebra -- University of South Carolina -- Spring 2014
TeX
3
star
14

IEProps

Journal Article: "Interval enforceable properties of finite groups"
TeX
2
star
15

math2001-spring2019

Math 2001 at CU Boulder (Spring 2019)
TeX
2
star
16

DedekindTransposition

A general Dedekind transposition principle for lattices of equivalence realtions
TeX
2
star
17

math321-fall2016

Introduction to Advanced Math, Fall 2016, University of Hawaii
TeX
2
star
18

math654-uh-fall2016

Materials from the graduate logic course
TeX
2
star
19

MSThesis

Masters Thesis: Approximating eigenvalues of large stochastic matrices
C
2
star
20

linear-algebra-hefferon

Automatically exported from code.google.com/p/linear-algebra
TeX
2
star
21

Overalgebras

Journal Article: Expansions of Finite Algebras and Their Congruence Lattices
TeX
2
star
22

fin-grp-facts

Miscellaneous facts and data on finite groups
TeX
1
star
23

libwjd

C and C++ utilities and subroutines
C
1
star
24

tdd-idris_wjd

Notes and Exercises from the book "Type-Driven Development with Idris"
Idris
1
star
25

math2130-spring2018

HTML
1
star
26

Talks

Slides from some presentations given by W. DeMeo
TeX
1
star
27

lazy-universal-algebra

Scala programs for universal algebra research
Scala
1
star
28

sage_wjd

sage worksheets and python scripts for universal algebra and lattice theory research
Python
1
star
29

Math207-Spring2015

Math 207: Elementary Linear Algebra -- Spring 2015 -- Iowa State University
HTML
1
star
30

dissertation_wjd

PhD dissertation in universal algebra and lattice theory
TeX
1
star
31

scalalua

[Scala] for [L]attice theory and [U]niversal [A]lgebra
Scala
1
star
32

alt-comm

a note on an alternative description of the commutator
TeX
1
star
33

williamdemeo.github.io

OLD personal and professional website (find my new site at williamdemeo.gitlab.io)
HTML
1
star
34

nixos_wjd

Nix
1
star
35

latex_wjd

miscellaneous latex stuff, like tikz examples, bibtex entries, templates, etc.
TeX
1
star
36

Math317-Spring2016

TeX
1
star
37

PalfySaxlProblem

Notes on a problem of Peter Palfy and Jan Saxl
TeX
1
star