Anurudh Peduri anurudhp

## potw.lean
/- 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 :=

## flows-problems.md

      
        
          
            
              
              1 file
            
          
          
            
              
              1 fork
            
          
          
            
              
              0 comments
            
          
          
            
              
              0 stars
            
          
        
        
          
              
          
          
            
                anurudhp
                / flows-problems.md
            
            
              Last active
              January 26, 2022 17:14
            
              
                Collection of problems on flows
              
          
        
      
        
  
      
    
http://codeforces.com/problemset/problem/628/F
http://codeforces.com/gym/100729 : Problem F
http://codeforces.com/gym/100517 : Problem H
http://codeforces.com/gym/101128 : Problem F
http://codeforces.com/gym/100491 : Problem A
http://codeforces.com/gym/101175 : Problem D (WF)
http://codeforces.com/gym/101221 : Problem I (WF)
http://codeforces.com/gym/100800 : Problem A
http://codeforces.com/gym/101239 : Problem C (WF)
http://codeforces.com/gym/101208 : Problem C (WF)
	/- 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 :=