There are no reviews yet. Be the first to send feedback to the community and the maintainers!
ProvingGround
Proving Ground: Tools for Automated MathematicsLeanAide
Tools based on AI for helping with Lean 4Saturn
Experiments with SAT solvers with proofs in Lean 4lean-loris
Experiments with some ways of automating reasoning in lean 4LTS2019
Web page, code for "Logic, Types Spaces 2019" at IIScalgebraic-topology-2020
source for course web pagePolylean
proofs-and-programs-2023
Code and source for website for the course "Proofs and Programs", January 2023, Indian Institute of ScienceLogicTypesSpaces
Course blog source and (mostly Agda) code for a course on "Logic, Types and Spaces"MillScalaServer
scala server with js built with milltopology-2022
Course website for MA 231: Topology at Indian Institute of Science, Bangalorealgebraic-topology-2022
Source for course web pageSuperficial
Curves and other structures on surfaces (topology)MetricGeometryCourse
Notes for the course on Metric (including basic Differential) Geometry, IISc, 2013.WhiteBoard
A minimal virtual whiteboard with markdown and latexAlgebraicTopology
Web page/blog for algebraic topology courseWikiFromCensus
Generate wikipedia stubs for Indian villages from census dataTrainLogic
Material for a background course on Logic and Type TheoryProbability
Notes, illustrations etc for Probability coursesintroduction-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 2021LeanMetaCompute
Computation verified by generating proof termsLove Open Source and this site? Check out how you can help us