From f5b4abf3dea1826fdaaf9948d9fb2ac562dd86a1 Mon Sep 17 00:00:00 2001 From: Diogo Date: Thu, 30 Oct 2025 16:43:47 -0300 Subject: [PATCH] Update index.md - Preparing Polkadot's pallet_balances for Formal Verification Check Preparing Polkadot's pallet_balances for Formal Verification using the Inference Framework as first delivery and completed. --- applications/index.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/applications/index.md b/applications/index.md index 0c96e51a1a6..8ac45efa9e4 100644 --- a/applications/index.md +++ b/applications/index.md @@ -75,7 +75,7 @@ Besides, **there is a clear difference between an application being accepted and | :-----------------------------------------------------------| :----------------------------------------------------| :--------------------------------------------------------------| :--------: | :------------: | :--------: | | [Stanislav Terliakov](https://github.com/sterliakov) | [`substrate-interface` maintenance](./substrate-interface-maintenance.md) | [GitHub](https://github.com/JAMdotTech/py-polkadot-sdk) | ☐ | ☐ | ☐ | | [ChainScore Labs](https://chainscore.finance) | [Benchmarking Blockchain Data Availability: Polkadot ELVES vs Modular DA Layers](./da_comparative_study.md) | [GitHub](https://github.com/Chainscore) | ☐ | ☐ | ☐ | -| [Inferara](https://inferara.com/) | [Preparing Polkadot's pallet_balances for Formal Verification using the Inference Framework](./Preparing%20Polkadot%20pallet_balances%20for%20Formal%20Verification.md) | [GitHub](https://github.com/Inferara) | ☐ | ☐ | ☐ | +| [Inferara](https://inferara.com/) | [Preparing Polkadot's pallet_balances for Formal Verification using the Inference Framework](./Preparing%20Polkadot%20pallet_balances%20for%20Formal%20Verification.md) | [GitHub](https://github.com/Inferara) | ☐ | ☒ | ☒ | | [AntLabs India](https://antiersolutions.com) | [Offline Election Tool](./OfflineElectionTool.md) | | ☐ | ☐ | ☐ | | Build Union | [TxSim: Transaction Simulator and Risk Detector for Polkadot](./TxSim.md) | | ☐ | ☐ | ☐ | | [LunoLab](https://www.lunolab.xyz/) | [LunoKit](./LunoKit.md) | [GitHub](https://github.com/Luno-lab/LunoKit) | ☐ | ☐ | ☐ |