Guide on how to use the metamath-lamp proof assistant

Metamath-lamp (Lite Assistant for Metamath Proofs) is a GUI-based proof assistant for creating formal mathematical proofs in Metamath that does not require installation (just run it directly using …

The core software distribution for the Inform 7 programming language.

🏆 The Best Pagination Ruby Gem 🥇

Metamath program - source code for the Metamath executable

Metamath source file for logic and set theory

Make your site’s pages instant in 1 minute and improve your conversion rate by 1%

A static analysis security vulnerability scanner for Ruby on Rails applications (OSS fork of Brakeman)

Source of metamath book

🏆Open Source Security Foundation (OpenSSF) Best Practices Badge (formerly Core Infrastructure Initiative (CII) Best Practices Badge)