diff --git a/index.html b/index.html index 2702097..2757fc9 100644 --- a/index.html +++ b/index.html @@ -425,6 +425,8 @@ >Metamath-lamp application page. You can learn to use metamath-lamp from the extensive Metamath-lamp Guide +or the +Introduction to Metamath-lamp videos by David A. Wheeler. Software developers may want to see the