Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theorem proving.

The Congress and CPI (M) also came out in Kamra’s support. On Sunday night (March 23), Shiv Sena members damaged the Habitat Comedy Club in Khar as well as a hotel in whose premises the club is ...

Stand-up comedian Kunal Kamra has responded to the vandalism of his performance venue by Shiv Sena workers. The incident followed Kamra's parody about Maharashtra's deputy chief minister Eknath ...

In a major revelation, Maharashtra Chief Minister Devendra Fadnavis shared the inside story of the dramatic fallout between Shiv Sena and BJP in 2014. Speaking at the felicitation ceremony of ...

Maharashtra Chief Minister Devendra Fadnavis for the first time has revealed the inside story of how the alliance between BJP and Shiv Sena crumbled in 2014. According to the CM, seat-sharing ...

The video has sparked outrage among supporters of the Shinde-led Shiv Sena faction, leading to protests and legal action against the comedian. Following the video’s release, Shiv Sena (Eknath Shinde ...

Kunal Kamra row: The comedian's comments and subsequent vandalism have drawn reactions from all sides of the political spectrum. Comedian Kunal Kamra’s comments on Maharashtra deputy chief ...

Opposition leaders criticized the government's handling of the situation. The Mumbai police arrested 11 members of the Yuva Sena, the youth faction of Eknath Shinde-led Shiv Sena on Monday for ...

Kunal Kamra vs Shiv Sena Row: Stand-up comedian Kunal Kamra's recent performance in Mumbai mocked Maharashtra Deputy Chief Minister Eknath Shinde, sparking controversy and backlash from the Shiv ...

Disha Salian jumped off a high-rise in the northern suburb of Malad on June 8, 2020. Shiv Sena (UBT) leader Sanjay Raut has questioned the timing of the petition filed against Aaditya Thackeray in ...