The Xena Project Retweeted bgc
People are getting better at using #leanprover with @observablehq . I'm trying to round up some of the examples of things people like Bryan Gin-ge Chen and Kevin Kappelmann have done over the last few months.https://twitter.com/blockspins/status/1155899279690670082 …
The Xena Project added,
bgc @blockspins
Proof assistants are computer programs for writing and verifying formalized mathematical proofs. What's it like to use one? Explore some Fibonacci sum identities with the browser version of the Lean theorem prover in this @observablehq notebook! https://observablehq.com/@bryangingechen/fibonacci-formalized-1-some-sums …
Show this thread
10:28 AM - 14 Dec 2019
0 replies
2 retweets
6 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.