Proof Strategy Example (Single Stream Half Way)
Proof Strategy Example (Single Level )
Example Proof State with Assumptions, Intermediate Statements & Goals.
Lemma, Definition, Proof & Their Dependencies
Event & Pile-Up
Event Visualization Gallery (Test Gallery Page)
Truth Particle Products of neutrlino-chargino pair production. 
Inner Detector Track Reconstructed from MC AOD. 
Jet and Missing ET reconstructed in MC AOD. 
(η, φ, pT) view of uncut particles, tracks and MET. 
(η, φ, pT) view of tracks and origins passing momentum cut. 
(η, φ, pT) view of tracks and origins, passing signal cut. 
Visualization of Pythia Truth Particles record for neutralino-chargino pair-production. 
Primary Vertex and Pile-Up Vertices
Event Visualization (Neutralino-Chargino Pair Production)
Example C++ xAOD class visualization (Test Post)
This is a test post.
Hello world!
Welcome to WordPress. This is your first post. Edit or delete it, then start writing!
