We use javascript to filter series topics, adapt series to your local time zone, enter date ranges, and hide this annoying message. We use cookies to set your default timezone, keep track of your preferences, and to keep you logged in.

Sound & Complete Tactics for the Linear-Bitwise Fragment of Multi-Width Parametric Bitvector Theory

Siddharth Bhat

Mon Jan 19, 18:30-19:00 (4 weeks ago)

logic in computer sciencemathematical softwareMathematics

Audience: advanced learners

( paper | video )

Lean Together 2026

Organizer:	Jireh Loreaux*
	*contact for this listing

Export talk to