proof-generator

There are 2 repositories under proof-generator topic.

  • AstraaDev/Discord-Fake-Nitro-Proof-Generator

    This Fake Proof generator allows you to generate an image (.png) simulating the donation of a nitro to a user. It is possible to choose by entering the ID a real user or to choose manually the name, the profile picture and the message of the user. The use of the script is done with the help of commands using Discord modals.

    Language:Python371726

  • andreiarusoaie/certifying-unification-in-aml

    This repo contains a series of Maude scripts for generating and checking proof certificates for syntactic unification in (Applicative) Matching Logic.

    Language:Python0300