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) |    ☐       |       ☐       |     ☐      |