Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Published on Jul 12, 2016
A demonstration of how to create functions in Metamath. Metamath is a tool for verify math proofs; see us.metamath.org.
Released under the license Creative Commons — Attribution version 3.0 or later (CC-BY-3.0+). See the license for exact details. In summary form, you are free to: - Share — copy and redistribute the material in any medium or format - Adapt — remix, transform, and build upon the material for any purpose, even commercially. This is under the following terms: Attribution — You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.