3

Software_Foundations_Study_0

 1 year ago
source link: https://taardisaa.github.io/2023/04/23/Software-Foundations-Study-0/
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
neoserver,ios ssh client

Software_Foundations_Study_0 | Tardis's blog

Loading [a11y]/accessibility-menu.js

Software_Foundations_Study_0

2023-04-23Programming


198 1 分钟

This lecture is something about “reliable software”. Haven’t got enough time to learn but mark it anyway.

Software Foundations Study 0

References

Software Foundations (upenn.edu)

Basics: Functional Programming in Coq (upenn.edu)

© 2021 – 2023 Tardis | 684k | 10:21

About Joyk


Aggregate valuable and interesting links.
Joyk means Joy of geeK