Elias Mårtenson
@amiloradovsky
I treudd to learn Coq but I had a problem with the syntax. It seems so random, and the tutorial doesn't explain why certain keywords are used, and what their purpose is.
Trying to change some examples in order to explore usually results in errors because the syntax is highly subtle.
Jonkman Microblog is a social network, courtesy of SOBAC Microcomputer Services. It runs on GNU social, version 1.2.0-beta5, available under the GNU Affero General Public License.
All Jonkman Microblog content and data are available under the Creative Commons Attribution 3.0 license.