Skip to content
@SolidiKeY

SolidiKeY

Pinned Loading

  1. solidity-semantics-maude solidity-semantics-maude Public

    Maude description of Solidity semantics

    Agda 1

Repositories

Showing 4 of 4 repositories
  • solidity-semantics-maude Public

    Maude description of Solidity semantics

    SolidiKeY/solidity-semantics-maude’s past year of commit activity
    Agda 1 0 0 0 Updated Feb 7, 2025
  • SimpleTests Public

    Tests to verify the semantics of Solidity

    SolidiKeY/SimpleTests’s past year of commit activity
    Solidity 1 MIT 1 0 0 Updated Dec 13, 2024
  • solidikey.github.io Public
    SolidiKeY/solidikey.github.io’s past year of commit activity
    HTML 2 0 0 0 Updated Sep 28, 2023
  • SpecificationLanguage Public

    This repository contains a living document that describes the specification language supported by SolidiKeY

    SolidiKeY/SpecificationLanguage’s past year of commit activity
    0 0 0 0 Updated Aug 11, 2023

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…