Creating functions in Metamath





The interactive transcript could not be loaded.


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.


When autoplay is enabled, a suggested video will automatically play next.

Up next

to add this to Watch Later

Add to

Loading playlists...