siddhartha-gadgil/LTS2019

Stars
9
Rank 1,939,727 (Top 39 %)
Language Idris
License
MIT License
Created about 6 years ago
Updated over 3 years ago

siddhartha-gadgil/LTS2019

siddhartha-gadgil

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

Web page, code for "Logic, Types Spaces 2019" at IISc

ProvingGround

Proving Ground: Tools for Automated Mathematics

Jupyter Notebook

LeanAide

Tools based on AI for helping with Lean 4

Jupyter Notebook

Saturn

Experiments with SAT solvers with proofs in Lean 4

lean-loris

Experiments with some ways of automating reasoning in lean 4

Jupyter Notebook

algebraic-topology-2020

source for course web page

Polylean

proofs-and-programs-2023

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

LogicTypesSpaces

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

MillScalaServer

scala server with js built with mill

topology-2022

Course website for MA 231: Topology at Indian Institute of Science, Bangalore

algebraic-topology-2022

Source for course web page

Superficial

Curves and other structures on surfaces (topology)

DeptWeb

The web site for Department of Mathematics, IISc

MetricGeometryCourse

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

WhiteBoard

A minimal virtual whiteboard with markdown and latex

AlgebraicTopology

Web page/blog for algebraic topology course

TrainLogic

Material for a background course on Logic and Type Theory

Probability

Notes, illustrations etc for Probability courses

introduction-algebraic-topology-2020

Sources for a first course on Algebraic Topology and the course website.

topology-2021

Web page for the Topology course at IISc, Aug 2021

LeanMetaCompute

Computation verified by generating proof terms

WikiFromCensus

Generate wikipedia stubs for Indian villages from census data