Commits

Commit history

1. Commits on Oct 6, 2026

   • Add README.md for Lean 4 Learning Portfolio

     Show description for e64b98b
     SrishtiCode

     authored
     e64b98bView commit details

     Copy full SHA for e64b98b

     Browse repository at this point

   • Add invFun and related properties in Function.lean

     SrishtiCode

     authored
     6d9fb81View commit details

     Copy full SHA for 6d9fb81

     Browse repository at this point

   • Create Logic.lean

     SrishtiCode

     authored
     5579d61View commit details

     Copy full SHA for 5579d61

     Browse repository at this point

   • Add basic algebraic identities and proofs in Lean

     SrishtiCode

     authored
     9ccf43fView commit details

     Copy full SHA for 9ccf43f

     Browse repository at this point
2. Commits on Oct 2, 2026

   • Add Theorems and Lemmas on Real Number Inequalities

     Show description for a9e2cf3
     SrishtiCode

     authored
     a9e2cf3View commit details

     Copy full SHA for a9e2cf3

     Browse repository at this point

   • Refactor and expand ring identities in ProvingIdentities.lean

     SrishtiCode

     authored
     b3b0233View commit details

     Copy full SHA for b3b0233

     Browse repository at this point
3. Commits on Oct 1, 2026

   • Add ProvingIdentities.lean with ring and group proofs

     SrishtiCode

     authored
     d309fb7View commit details

     Copy full SHA for d309fb7

     Browse repository at this point

   • Remove incomplete square of sum example

     Show description for 71b3bd2
     SrishtiCode

     authored
     71b3bd2View commit details

     Copy full SHA for 71b3bd2

     Browse repository at this point

   • Implement multiplication proofs in Calculating.lean

     SrishtiCode

     authored
     e57fc4bView commit details

     Copy full SHA for e57fc4b

     Browse repository at this point

   • Implement multiplication examples using properties

     SrishtiCode

     authored
     1a70b46View commit details

     Copy full SHA for 1a70b46

     Browse repository at this point

   • Fix multiplication example in Calculating.lean

     Show description for 85b83f2
     SrishtiCode

     authored
     85b83f2View commit details

     Copy full SHA for 85b83f2

     Browse repository at this point

   • Create Calculating.lean

     SrishtiCode

     authored
     3f391d2View commit details

     Copy full SHA for 3f391d2

     Browse repository at this point

   • Create Overview.lean in Introduction directory

     SrishtiCode

     authored
     a13595cView commit details

     Copy full SHA for a13595c

     Browse repository at this point

   • Add overview of Lean basics with examples

     Show description for 7bd79e4
     SrishtiCode

     authored
     7bd79e4View commit details

     Copy full SHA for 7bd79e4

     Browse repository at this point
4. Commits on Sep 29, 2026

   • Define image and preimage for sets in Lean

     Show description for a7194c8
     SrishtiCode

     authored
     a7194c8View commit details

     Copy full SHA for a7194c8

     Browse repository at this point

   • Create Analysis.lean

     SrishtiCode

     authored
     077795eView commit details

     Copy full SHA for 077795e

     Browse repository at this point

   • Create AlgebricHierarchy.lean

     SrishtiCode

     authored
     e780853View commit details

     Copy full SHA for e780853

     Browse repository at this point

   • Create Structuresandclasses.lean

     SrishtiCode

     authored
     9c0feadView commit details

     Copy full SHA for 9c0fead

     Browse repository at this point

   • Create Algebratactics.lean

     SrishtiCode

     authored
     36dffe5View commit details

     Copy full SHA for 36dffe5

     Browse repository at this point
5. Commits on Sep 27, 2026

   • Define sets and basic set theory lemmas

     Show description for 97f2c46
     SrishtiCode

     authored
     97f2c46View commit details

     Copy full SHA for 97f2c46

     Browse repository at this point

   • Add lemmas for injective, surjective, and bijective functions

     SrishtiCode

     authored
     39b3093View commit details

     Copy full SHA for 39b3093

     Browse repository at this point
6. Commits on Sep 26, 2026

   • Create Sets&Functions.lean

     SrishtiCode

     authored
     84032e0View commit details

     Copy full SHA for 84032e0

     Browse repository at this point

   • Add various logic theorems and examples in Lean

     SrishtiCode

     authored
     4171593View commit details

     Copy full SHA for 4171593

     Browse repository at this point

   • Add Logics.lean with logical connectives overview

     Show description for 41af4d6
     SrishtiCode

     authored
     41af4d6View commit details

     Copy full SHA for 41af4d6

     Browse repository at this point
7. Commits on Sep 25, 2026

   • Add introductory content and examples for Lean

     Show description for 4c632d3
     SrishtiCode

     authored
     4c632d3View commit details

     Copy full SHA for 4c632d3

     Browse repository at this point

   • Create AdditionalConveniences.lean

     SrishtiCode

     authored
     8e211b2View commit details

     Copy full SHA for 8e211b2

     Browse repository at this point

   • Implement string manipulation examples in Characters.lean

     Show description for 887dbbc
     SrishtiCode

     authored
     887dbbcView commit details

     Copy full SHA for 887dbbc

     Browse repository at this point

   • Add polymorphism examples and utility functions

     Show description for 0abd808
     SrishtiCode

     authored
     0abd808View commit details

     Copy full SHA for 0abd808

     Browse repository at this point
8. Commits on Sep 24, 2026

   • Add Datatypes and Patterns documentation

     SrishtiCode

     authored
     a85113cView commit details

     Copy full SHA for a85113c

     Browse repository at this point

   • Add structures and functions for geometric types in Lean

     Show description for e8193b4
     SrishtiCode

     authored
     e8193b4View commit details

     Copy full SHA for e8193b4

     Browse repository at this point

   • Delete Structures.lean

     SrishtiCode

     authored
     909000dView commit details

     Copy full SHA for 909000d

     Browse repository at this point

   • Define Point structure with x and y coordinates

     Show description for a8c7b10
     SrishtiCode

     authored
     a8c7b10View commit details

     Copy full SHA for a8c7b10

     Browse repository at this point

   • Add functions and definitions in Functions.lean

     SrishtiCode

     authored
     709fe82View commit details

     Copy full SHA for 709fe82

     Browse repository at this point

   • Create Types.lean

     SrishtiCode

     authored
     cd80bc1View commit details

     Copy full SHA for cd80bc1

     Browse repository at this point
9. Commits on Sep 23, 2026

   • Add evaluations and exercises for expressions in Lean

     SrishtiCode

     authored
     a2737cbView commit details

     Copy full SHA for a2737cb

     Browse repository at this point