siddhartha-gadgil/DeptWeb siddhartha-gadgil/DeptWeb

  • Stars
    star
    2
  • Language
    HTML
  • License
    MIT License
  • Created almost 8 years ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
siddhartha-gadgil/DeptWeb
github

siddhartha-gadgil

Reviews

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

Repository Details

The web site for Department of Mathematics, IISc

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

LogicTypesSpaces

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

MillScalaServer

scala server with js built with mill
JavaScript
3
star
11

topology-2022

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

algebraic-topology-2022

Source for course web page
HTML
2
star
13

Superficial

Curves and other structures on surfaces (topology)
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