FeverTokens

Pinned Loading

1. B-method-model-for-FT-packages-formal-verificationB-method-model-for-FT-packages-formal-verificationPublic

   This repository provides a B-Method verification model for the FeverTokens Package-Oriented Smart Contract Framework. Its goal is simple: prove that a package (facet) is structurally sound on its o…

   Python 2 1

2. packagespackagesPublic

   Modular, upgradeable smart contracts using a package-oriented framework built on the EIP-2535 Diamond Standard.

   Solidity 2 2

3. microloan-packagesmicroloan-packagesPublic

   TypeScript 1 1