Skip to main content
Graph
Search
fr
|
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Lecture
Meta-metaprogramming: Advanced Tools for Software Engineering
Graph Chatbot
Related lectures (32)
Previous
Page 4 of 4
Next
Introduction to Coq: Arithmetic Expressions and Evaluators
Covers the basics of Coq, focusing on arithmetic expressions, evaluation, and proof techniques.
Understanding Software
Covers the definition, types, and building process of software, including system software and applications.
