Skip to content

Instantly share code, notes, and snippets.

View anurudhp's full-sized avatar

Anurudh Peduri anurudhp

188 followers · 19 following
View GitHub Profile
@anurudhp
anurudhp / potw.lean
Last active February 24, 2021 00:19
https://anurudhp.github.io/blogs/lean-functional-equation-proof.html
/- https://leanprover-community.github.io/lean-web-editor -/
import data.real.basic
import init.classical
import algebra.invertible
import algebra.euclidean_domain
import tactic.ring_exp
/- Problem: Find all functions satisfying `prop` -/
def prop (f : ℝ → ℝ) : Prop :=
@anurudhp
anurudhp / flows-problems.md
Last active January 26, 2022 17:14
Collection of problems on flows