प्रमाण सहायक: Revision history

14 September 2023

• curprev 15:2115:21, 14 September 2023‎ Abhishekkshukla talk contribs‎ m 20,037 bytes 0‎ Abhishekkshukla moved page सबूत सहायक to प्रमाण सहायक without leaving a redirect

15 March 2023

• curprev 10:1310:13, 15 March 2023‎ Admin talk contribs‎ 20,037 bytes +364‎ No edit summary

14 March 2023

• curprev 21:5421:54, 14 March 2023‎ Indicwiki talk contribs‎ m 19,673 bytes 0‎ 4 revisions imported from alpha:सबूत_सहायक
• curprev 11:1511:15, 14 March 2023‎ alpha>Neeraja‎ m 19,673 bytes +26‎ added Category:Vigyan Ready using HotCat

7 March 2023

• curprev 23:5423:54, 7 March 2023‎ alpha>Ashirvad Verma‎ 19,647 bytes +2,524‎ No edit summary
• curprev 23:1023:10, 7 March 2023‎ alpha>Ashirvad Verma‎ 17,123 bytes −249‎ No edit summary

2 March 2023

• curprev 12:1712:17, 2 March 2023‎ alpha>Indicwiki‎ 17,372 bytes +17,372‎ Created page with "{{Short description|Software tool to assist with the development of formal proofs by human-machine collaboration}} {{for|verification in computer science|formal verification}}..."