Commit graph

Select branches

Hide pull requests

main

Mono Color

• 7a0f968657
  
  fix: Link to references for forgejo main SinTan1729 2024-03-11 02:20:45 -0500
• 5d54ff2df8
  Update README.md Sayantan Santra 2024-02-07 18:42:58 -0600
• d4f4910dc6
  Update references.md Sayantan Santra 2024-02-07 18:42:05 -0600
• 6590996682
  Update references.md Sayantan Santra 2024-02-07 18:40:19 -0600
• ebb3314b0b
  
  fix: Typo SinTan1729 2024-02-07 16:59:04 -0600
• 7d6ba8fcdb
  
  new: Added references SinTan1729 2024-02-07 16:47:21 -0600
• a91eef1132
  
  new: Added some algebraic structures SinTan1729 2024-02-07 15:08:03 -0600
• 522424f97f
  
  new: Some more basic examples SinTan1729 2024-02-07 14:18:25 -0600
• 5e9f400cba
  
  new: Added some more basic examples SinTan1729 2024-02-07 02:55:41 -0600
• a7bde3532c
  
  chg: Broken some steps for easier understanding SinTan1729 2024-02-06 01:35:56 -0600
• 5b38350326
  
  new: Added the more advanced examples SinTan1729 2024-02-06 01:19:20 -0600
• eb673e816c
  Create README.md Sayantan Santra 2024-02-05 21:33:03 -0600
• 65bce604f9
  
  new: Added LICENSE SinTan1729 2024-02-05 21:31:10 -0600
• 531dd25bd1
  
  chg: Renamed the project SinTan1729 2024-02-05 21:27:10 -0600
• 89997aeb57
  
  build: Update lean and add some gitignores SinTan1729 2024-02-05 21:22:49 -0600
• 0612fdd505
  
  new: Initial commit SinTan1729 2024-02-05 20:50:26 -0600