Skip to content
This repository was archived by the owner on Nov 21, 2023. It is now read-only.

Activity

Showing most recent first

Create LICENSE

mortarsanjayapushed 1 commit to main • 80691eb…b3d7500 • 
on Nov 21, 2023

2017 A6: Minor generalization

mortarsanjayapushed 1 commit to main • 9e3f10a…80691eb • 
on Nov 8, 2023

Update README.md

mortarsanjayapushed 1 commit to main • de4fbf3…9e3f10a • 
on Nov 7, 2023

2014 C2: Reduce imports

mortarsanjayapushed 1 commit to main • 15fe1be…de4fbf3 • 
on Nov 7, 2023

Update mathlib

mortarsanjayapushed 1 commit to main • 4c739f0…15fe1be • 
on Nov 7, 2023

Merge branch '2021A8_optimize'

mortarsanjayapushed 2 commits to main • d2b305f…4c739f0 • 
on Nov 7, 2023

Merge branch '2017A2_generalize'

mortarsanjayapushed 2 commits to main • 78db24d…d2b305f • 
on Nov 7, 2023

extra: Rework the AM-GM API

mortarsanjayapushed 1 commit to main • 7f10227…78db24d • 
on Nov 5, 2023

2007 A4: Formalize

mortarsanjayapushed 1 commit to main • c95b414…7f10227 • 
on Nov 3, 2023

2021 A3: Formalize

mortarsanjayapushed 1 commit to main • cd6ba23…c95b414 • 
on Nov 2, 2023

2022 A3: Formalize

mortarsanjayapushed 1 commit to main • f827549…cd6ba23 • 
on Nov 1, 2023

2009 N3: Formalize

mortarsanjayapushed 1 commit to main • 2e63203…f827549 • 
on Nov 1, 2023

2007 N2: Remove profiler

mortarsanjayapushed 1 commit to main • 01e76f1…2e63203 • 
on Oct 26, 2023

2007 N2: Optimization

mortarsanjayapushed 1 commit to main • 4d4de29…01e76f1 • 
on Oct 26, 2023

2015 A4: Optimization

mortarsanjayapushed 1 commit to main • e2c7fcc…4d4de29 • 
on Oct 17, 2023

2020 A4: Reduce lemmas

mortarsanjayapushed 1 commit to main • a55e792…e2c7fcc • 
on Oct 12, 2023

Merge branch '2018A7_remake'

mortarsanjayapushed 3 commits to main • 9748f0e…a55e792 • 
on Oct 11, 2023

Merge branch '2018A2_remake'

mortarsanjayapushed 3 commits to main • 3ebbccc…9748f0e • 
on Oct 1, 2023

Merge branch '2011N5_extra'

mortarsanjayapushed 6 commits to main • d4a9a5a…3ebbccc • 
on Oct 1, 2023

2017 N6: Small optimization

mortarsanjayapushed 1 commit to main • 524c441…d4a9a5a • 
on Oct 1, 2023

Merge branch '2012A5_optimize'

mortarsanjayapushed 2 commits to main • ecf64ca…524c441 • 
on Oct 1, 2023

2006 A1: Remove profiler

mortarsanjayapushed 1 commit to main • 3e22f83…ecf64ca • 
on Sep 29, 2023

2012 A5: Slight optimization

mortarsanjayapushed 1 commit to main • 267df04…3e22f83 • 
on Sep 28, 2023

2012 A5: Update documentation

mortarsanjayapushed 1 commit to main • 9a6db54…267df04 • 
on Sep 27, 2023

2012 A5: Small optimization

mortarsanjayapushed 1 commit to main • 8847598…9a6db54 • 
on Sep 27, 2023

2012 A5: Refactor using 'is_answer'

mortarsanjayapushed 1 commit to main • 229799b…8847598 • 
on Sep 27, 2023

2012 A5: Optimize... again

mortarsanjayapushed 1 commit to main • 61d5736…229799b • 
on Sep 27, 2023

2012 A5: Answer rearrangement

mortarsanjayapushed 1 commit to main • 3b9a1f0…61d5736 • 
on Sep 26, 2023

2012 A5: Clean-up and 'is_answer' predicate

mortarsanjayapushed 1 commit to main • ce34b6a…3b9a1f0 • 
on Sep 26, 2023

2021 N2: Slight optimization?

mortarsanjayapushed 1 commit to main • 2f78645…ce34b6a • 
on Sep 24, 2023