🖼️00Introducing Starling: A User-Friendly Proof AssistantDEV Community·ender minyard·5 months ago#vL3Np0au#why#beginners#computerscience#programming#proofs#proof+8 more🧰Tag tools✨Add tag“Look between the stars for what you need. The untraceable black of the possible…What does it mean...15s0Read later0Read More
📰00Example of inductive proofs where the base case is the hard part and the inductive step is trivial?Reddit r/math·u/myaccountformath·5 months ago#un7d6ojN#inductive#proofs#base#case#article#discussion+1 more🧰Tag tools✨Add tagIn most proofs by induction, the base case is easy or trivial and the real meat of the proof is in the inductive step. Are there examples of the opposite?15s0Read later0Read More
