En innføring i hvordan verktøyet Lean kan brukes til å formelt bevise matematiske utsagn, som et alternativ til tradisjonelle papirbaserte bevis.
Kilde: https://hashcloak.com/blog/tutorial-introduction-to-formal-verification-with-lean-(part-1)
En innføring i hvordan verktøyet Lean kan brukes til å formelt bevise matematiske utsagn, som et alternativ til tradisjonelle papirbaserte bevis.
Kilde: https://hashcloak.com/blog/tutorial-introduction-to-formal-verification-with-lean-(part-1)