siddhartha-gadgil/LogicTypesSpaces siddhartha-gadgil/LogicTypesSpaces

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    Ruby
  • License
    MIT License
  • Created over 10 years ago
  • Updated almost 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
siddhartha-gadgil/LogicTypesSpaces
github

siddhartha-gadgil

Reviews

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

Repository Details

Course blog source and (mostly Agda) code for a course on "Logic, Types and Spaces"

More Repositories

1

ProvingGround

Proving Ground: Tools for Automated Mathematics
Jupyter Notebook
201
star
2

LeanAide

Tools based on AI for helping with Lean 4
Jupyter Notebook
57
star
3

Saturn

Experiments with SAT solvers with proofs in Lean 4
Lean
36
star
4

lean-loris

Experiments with some ways of automating reasoning in lean 4
Jupyter Notebook
12
star
5

LTS2019

Web page, code for "Logic, Types Spaces 2019" at IISc
Idris
9
star
6

algebraic-topology-2020

source for course web page
HTML
7
star
7

Polylean

Lean
6
star
8

proofs-and-programs-2023

Code and source for website for the course "Proofs and Programs", January 2023, Indian Institute of Science
Lean
5
star
9

MillScalaServer

scala server with js built with mill
JavaScript
3
star
10

topology-2022

Course website for MA 231: Topology at Indian Institute of Science, Bangalore
HTML
2
star
11

algebraic-topology-2022

Source for course web page
HTML
2
star
12

Superficial

Curves and other structures on surfaces (topology)
HTML
2
star
13

DeptWeb

The web site for Department of Mathematics, IISc
HTML
2
star
14

MetricGeometryCourse

Notes for the course on Metric (including basic Differential) Geometry, IISc, 2013.
TeX
2
star
15

WhiteBoard

A minimal virtual whiteboard with markdown and latex
Scala
1
star
16

AlgebraicTopology

Web page/blog for algebraic topology course
CSS
1
star
17

TrainLogic

Material for a background course on Logic and Type Theory
HTML
1
star
18

Probability

Notes, illustrations etc for Probability courses
TeX
1
star
19

introduction-algebraic-topology-2020

Sources for a first course on Algebraic Topology and the course website.
HTML
1
star
20

topology-2021

Web page for the Topology course at IISc, Aug 2021
HTML
1
star
21

LeanMetaCompute

Computation verified by generating proof terms
Lean
1
star
22

WikiFromCensus

Generate wikipedia stubs for Indian villages from census data
Scala
1
star